J W de Bakker;W P de Roever;G Rozenberg
-;-;-
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transactions on Software Engineering