Advanced Course: Petri Nets 1996: Dagstuhl, Germany

Volume II

Informal Introduction to Petri Nets

Basic Classes

Analysis and Synthesis

Relationship to Other Models

a service of Schloss Dagstuhl - Leibniz Center for Informatics