1-2 of 2 Books
Petri net technology for communication-based systems
By Hartmut Ehrig,Wolfgang Reisig,Grzegorz Rozenberg,Herbert Weber
Finite representations of CCS and TCSP programs by automata and Petri nets
By Dirk Taubner