Coloured petri nets : Basic concepts, analysis methods and practical use. Vol. 1 /

Autor Jensen, Kurt, 1950-
Vydáno 1996

Coloured petri nets : Basic concepts, analysis methods and practical use. Vol. 2 /

Autor Jensen, Kurt, 1950-
Vydáno 1995

Coloured Petri nets. Vol. 3, Basic Concepts, Analysis Methods and Practical Use /

Autor Jensen, Kurt, 1950-
Vydáno 1997

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 11, 2004 : proceedings /

Vydáno 2004

Transactions on petri nets and other models of concurrency I /

Vydáno 2008