Login / Signup

Logics for continuous reachability in Petri nets and vector addition systems with states.

Michael BlondinChristoph Haase
Published in: LICS (2017)
Keyphrases
  • petri net
  • discrete event systems
  • fuzzy petri net
  • manufacturing systems
  • colored petri nets
  • service composition
  • reactive systems
  • state machines
  • computer systems
  • complex systems
  • embedded real time systems