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)


cr3@ukc.ac.uk