Login / Signup
Petri Nets Theory for the Correctness of Protocols.
Gérard Berthelot
Richard Terrat
Published in:
PSTV (1982)
Keyphrases
</>
petri net
manufacturing systems
petri net model
discrete event systems
colored petri nets
state machines
service composition
ims ld
concurrent systems
stochastic petri net
process model
knowledge acquisition
complex systems