Login / Signup
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets.
Jean Christophe Lloret
Pierre Azéma
François Vernadat
Published in:
CAV (DIMACS/AMS volume) (1990)
Keyphrases
</>
petri net
communication protocols
petri net model
colored petri nets
discrete event systems
concurrent systems
design process
sequence diagrams
manufacturing systems
knowledge based systems
communication networks