|
Coloured Petri Nets
more books like this
by
Kurt Jensen
(M. Pezze in Computing Reviews, August 1996)
see all copies
from $44.00!
new only
from $44.00!
|
first editions
|
SVS
|
|
Stochastic Petri Nets
more books like this
by
Peter J Haas
This book is about stochastic Petri nets (SPNs), which have proven to be a popular tool for modelling and performance analysis of complex discrete-event stochastic systems. The focus is on methods for modelling a system as an SPN with general firing times and for studying the long-run behavior of the resulting SPN model using computer simulation. ...
see all copies
from $16.83!
new only
from $16.84!
|
first editions
|
SVS
|
|
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
more books like this
by
Marian V Iordache, Panos J Antsaklis
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. ...
see all copies
from $27.04!
new only
from $27.04!
|
first editions
|
|
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 3
more books like this
by
Kurt Jensen
This is the third volume of a definitive work on coloured Petri nets. It contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic ...
see all copies
from $32.65!
new only
from $40.00!
|
SVS
|
|
Modeling and Control of Discrete-Event Dynamic Systems: With Petri Nets and Other Tools
more books like this
by
B Hruz, M C Zhou
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking."Modeling and Control of Discrete-event Dynamic Systems" begins with the mathematical basics required for the study of DEDs and moves on to present various ...
see all copies
from $47.28!
new only
from $60.96!
|
first editions
|
SVS
|
|
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
more books like this
by
Wolfgang Reisig
Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are ...
see all copies
from $4.05!
new only
from $26.67!
|
first editions
|
SVS
|
|
Modular Construction and Partial Order Semantics of Petri Nets
more books like this
by
Vogler
Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency. For the design of large systems, modular construction isindispensible, and considerable effort has been spent ...
see all copies
from $19.99!
new only
from $47.00!
|
first editions
|
SVS
|
|
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
more books like this
by
Emilia Villani
Hybrid supervisory systems integrate and exchange information between discrete- and continuous-data-based controllers and subsystems. Application areas include process, manufacturing and service industries, healthcare, telecommunication, transportation and logistics, among others. From the hardware point of view, the rapid progress of information ...
see all copies
from $59.17!
new only
from $59.17!
|
first editions
|
SVS
|
|
Application and Theory of Petri Nets 2000
more books like this
by
Mogens Nielsen (Editor), Dan Simpson (Editor)
This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers ...
see all copies
from $24.75!
new only
from $47.00!
|
SVS
|
|
Application of Petri Nets to Communication Networks
more books like this
by
Jonathan Billington (Editor), Michel Diaz (Editor), Grzegorz Rozenberg (Editor)
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of both information and control flow within the same ...
see all copies
from $25.00!
new only
from $63.80!
|
SVS
|
view cover
|
Lectures on Petri Nets II: Applications
more books like this
by
Wolfgang Reisig (Editor), Grzegorz Rozenberg (Editor)
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book ...
see all copies
from $31.51!
new only
from $33.33!
|
first editions
|
SVS
|
view cover
|
Hardware Design and Petri Nets
more books like this
by
Alex Yakovlev (Editor), Luciano Lavagno (Editor), Luis Gomes
"Hardware Design and Petri Nets" presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in ...
see all copies
from $182.66!
new only
from $182.66!
|
first editions
|
SVS
|
view cover
|
Application and Theory of Petri Nets 1999
more books like this
by
Susanna Donatelli (Editor), Jetty Kleijn (Editor), G Goos (Editor)
This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999.The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art ...
see all copies
from $12.51!
new only
from $47.00!
|
SVS
|
view cover
|
Concurrent Object-Oriented Programming and Petri Nets
more books like this
by
Gul A Agha (Editor), Fiorella De Cindio (Editor), Grzegorz Rozenberg (Editor)
Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories ...
see all copies
from $47.00!
new only
from $47.00!
|
SVS
|
view cover
|
Lectures on Petri Nets I: Basic Models
more books like this
by
Grzegorz Rozenberg (Editor), Wolfgang Reisig (Editor), G Roxenberg
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this ...
see all copies
from $31.86!
new only
from $70.65!
|
SVS
|
view cover
|
Petri Net Algebra
more books like this
by
Eike Best, Maciej Kounty, Raymond Devillers
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is derived from combining their respective advantages. ...
see all copies
from $49.51!
new only
from $49.51!
|
first editions
|
SVS
|
|
|
Verifying Temporal Properties of Systems
more books like this
by
J C Bradfield
see all copies
from $12.00!
new only
from $74.00!
|
first editions
|
view cover
|
Fuzziness in Petri Nets
more books like this
by
Janette Cardoso (Editor), Heloisa Camargo (Editor)
The volume provides a comprehensive, up-to-date account on recent developments concerning the incorporation of fuzzy capabilities in Petri Net models. The results of such studies originated the class of models that have been designated by Fuzzy Petri Nets. The recent papers specially elaborated for this volume range over several aspects of ...
see all copies
from $26.71!
new only
from $26.71!
|
SVS
|
view cover
|
Cognitive Engineering: A Distributed Approach to Machine Intelligence
more books like this
by
Amit Konar, Lakhmi C Jain, Witold Pedrycz (Foreword by)
This book explores the design issues of intelligent engineering systems. Beginning with the foundations of psychological modeling of the human mind, the main emphasis is given to parallel & distributed realization of intelligent models for application in reasoning, learning, planning & multi-agent co-ordination problems. Case studies on human-mood ...
see all copies
from $37.73!
new only
from $37.73!
|
first editions
|
view cover
|
Advances in Petri Nets 1993
more books like this
by
Grzegorz Rozenberg (Editor)
The main aims of the series of volumes "Advances in PetriNets" are:- to present to the "outside" scientific community a fairpicture of recent advances in the area of Petri nets, and- to encourage those interested in the applications and thetheory of concurrent systems to take a closer look at Petrinets and then join the group of researchers ...
see all copies
from $13.05!
new only
from $81.65!
|
SVS
|
view cover
|
Unifying Petri Nets: Advances in Petri Nets
more books like this
by
Hartmut Ehrig (Editor), Gabriel Juhas (Editor), Julia Padberg (Editor)
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful developments have led to a very heterogeneous ...
see all copies
from $38.04!
new only
from $72.00!
|
SVS
|
view cover
|
Discrete, Continuous, and Hybrid Petri Nets
more books like this
by
Hassane Alla, Rena(c) David
This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from the basics of Petri Nets the book imparts an accurate understanding of continuous and hybrid Petri Nets. Preserving the consistency of basic concepts throughout the text it introduces a ...
see all copies
from $131.76!
new only
from $144.00!
|
first editions
|
SVS
|
|
|
High-Level Petri Nets: Theory and Application
more books like this
by
K Jensen
A collection of recent research papers which study the applications and theory of high-level Petri nets, a powerful computer language for system modelling and validation. Each section of the text outlines the main concepts and gives bibliographic notes on the development of high-level nets.
see all copies
from $60.00!
new only
from $60.00!
|
view cover
|
Free choice Petri nets
more books like this
by
Desel, Esparza
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the ...
see all copies
from $42.00!
new only
from $42.00!
|
SVS
|
view cover
|
Application and Theory of Petri Nets 1994
more books like this
by
Robert Valette (Editor)
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world. The 28 full papers were selected out of in total 85 ...
see all copies
from $21.96!
new only
from $78.46!
|
SVS
|