Petri Nets

Kommunikation mit Automaten.

Carl Adam Petri (phdthesis, 1962)

World of Petri Nets: Homepage of the International Petri Net Community

(misc, 1999)

Recommended Books and Papers on Coloured Petri Nets

K.~Jensen (misc, 1999)

Design/CPN -- Computer Tool for Coloured Petri Nets

CPN group at the University of Aarhus in Denmark (misc, 1999)

Renew -- The Reference Net Workshop

Theoretical Foundations Group, Department for Informatics, University of Hamburg (misc, 1999)

Petri Nets, An Introduction

W.~Reisig (book, 1985)

Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use

K.~Jensen (book, 1997)

An Introduction to the Theoretical Aspects of Coloured Petri Nets

K.~Jensen[J.W.~de Bakker and W.-P.~de Roever and G.~Rozenberg (ed)] (incollection, 1994)

On Modelling Train Traffic in a Model Train System

W.~Hielscher and L.~Urbszat and C.~Reinke and W.~Kluge (inproceedings, 1998)

Haskell-Coloured Petri Nets

Claus Reinke[ (ed)] (inproceedings, 1999)