Login / Signup

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

Franck PommereauRaymond R. DevillersHanna Klaudel
Published in: INFINITY (2009)
Keyphrases
  • petri net
  • graph representation
  • manufacturing systems
  • fuzzy petri net
  • graph model
  • discrete event systems
  • colored petri nets
  • sequence diagrams