Login / Signup

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.

Bernard BerthomieuDidier LimeOlivier H. RouxFranç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