Kurt Jensen - Böcker

Peerless

Rouben Mamoulian, Hollywood, and Broadway

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Application and Theory of Petri Nets 1992

13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 2

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use. Volume 1

Transactions on Petri Nets and Other Models of Concurrency VII

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use