Login / Signup
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.
Bernard Berthomieu
Didier Lime
Olivier H. Roux
François Vernadat
Published in:
Discret. Event Dyn. Syst. (2007)
Keyphrases
</>
petri net
state space
state machines
discrete event systems
colored petri nets
manufacturing systems
neural network
knowledge base
collaborative learning
process model