G. Memmi;J. Vautherin
-;-
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transactions on Software Engineering
A behavior and delay equivalent petri net model for performance evaluation of communication protocols
Computer Communications
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal