Experimenting Formal Proofs of Petri Nets Refinements.

Christine Choppy Micaela Mayero Laure Petrucci

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

petri net
formal proofs
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
fuzzy petri net
ims ld
process model
state machines
concurrent systems
decision making
stochastic petri net
dynamical systems
service composition
expert systems
neural network