Abstract   Numerous modeling approaches exist to formally describe protocols such as: state machines, Petri nets, abstract data types, high level languages, temporal logic. This paper deals with one of them, Petri nets including related models. It presents the most important classes of nets, gives their analysis possibilities and shows how they can be used to model and analyze communication and cooperation protocols.
['Michel Diaz']
Modeling and analysis of communication and cooperation protocols using petri net based models