Bernd Baumgarten;Peter Ochsenschläger;Rainer Prinoth
-;-;-
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
IEEE Transactions on Software Engineering