Petri Net Technology for Communication-Based Systems 2003

a service of Schloss Dagstuhl - Leibniz Center for Informatics