Login / Signup
Symbolic unfolding of parametric stopwatch Petri nets.
Claude Jard
Didier Lime
Olivier H. Roux
Louis-Marie Traonouez
Published in:
Formal Methods Syst. Des. (2013)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
concurrent systems
process model
service composition
symbolic representation
ims ld
state machines
cellular automata
knowledge acquisition
stochastic petri net