Sökt på: Sökresultat
totalt 17 träffar
Application and Theory of Petri Nets 1992
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri …
Coloured Petri Nets
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The …
Transactions on Petri Nets and Other Models of Concurrency III
AccordingtoHolzmann [14], protocol speci?cationscomprise ?veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol …
High-level Petri Nets
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is …
Coloured Petri Nets
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation …
Coloured Petri Nets
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation …
Tools and Algorithms for the Construction and Analysis of Systems
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place …
Transactions on Petri Nets and Other Models of Concurrency I
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial …
Elementary Particles - Accelerators and Colliders
After a historical consideration of the types and evolution of accelerators the physics of particle beams is provided in detail. Topics dealt with comprise linear and nonlinear …
Coloured Petri Nets
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being …
Coloured Petri Nets
The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets, covering a broad range of ap plication areas. …
Transactions on Petri Nets and Other Models of Concurrency V
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial …