Hartmut Ehrig Wolfgang Reisig Grzegorz Rozenberg Herbert Weber Petri Net Technology for Communication-Based Systems Lecture Notes in Computer Science 2472 Springer 2003 3-540-20538-1 db/conf/dfg/petri2003.html