Petri Nets Theory for the Correctness of Protocols.

Gérard Berthelot Richard Terrat

Published in: IEEE Trans. Commun. (1982)

Keyphrases

petri net
state machines
petri net model
manufacturing systems
discrete event systems
fuzzy petri net
colored petri nets
ims ld
concurrent systems
service composition
discrete dynamical systems
process model
stochastic petri net
genetic algorithm
computational intelligence
programmable logic controller