Title: Decomposition and protocols in high-level Petri nets
First published: 1994
Subjects: Mathematical models, System analysis, Petri nets, Telecommunication systems
LC classification: TK5102.5 .R333 1994