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 https://doi.org/10.1007/b83526 db/conf/dfg/petri2003.html