Jean-Michel Ayache

Learn More
This paper is intended to survey the applicability of Petri nets for protocol, as well as for service specification and validation. At the specification level, different classes of nets are introduced, and emphasis is given to the modular specification of a protocol layer. At the validation level, the analysis techniques implemented in the CAD package(More)
The verification of functional specifications is performed by means of a formal model, based upon Petri nets. A so-called "reduction" operation is introduced to handle the concept of abstraction. A bottom-up approach is developped in the case of communication between two processors. The definition of software modules is emphasized.