Login / Signup

State Class Constructions for Branching Analysis of Time Petri Nets.

Bernard BerthomieuFrançois Vernadat
Published in: TACAS (2003)
Keyphrases
  • petri net
  • colored petri nets
  • discrete event systems
  • data analysis
  • state space
  • manufacturing systems
  • state machines
  • petri net model
  • high level petri nets
  • low cost
  • complex systems
  • description language