Login / Signup

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.

Jean Christophe LloretPierre AzémaFrançois Vernadat
Published in: CAV (1990)
Keyphrases
  • petri net
  • communication protocols
  • petri net model
  • colored petri nets
  • concurrent systems
  • fuzzy petri net
  • low cost
  • discrete event systems
  • process algebra
  • manufacturing systems
  • state machines
  • protocol specification