Petri Net Technology for Communication-Based Systems 2003

maintained by Schloss Dagstuhl LZI at University of Trier