G. H. Muller;R. P. Blanc
-;-
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transactions on Software Engineering