The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets.
Georg ZetzschePublished in: RP (2015)
Keyphrases
- petri net
- discrete event systems
- manufacturing systems
- petri net model
- fuzzy petri net
- tree automata
- colored petri nets
- service composition
- linear time temporal logic
- ims ld
- cellular automata
- finite automata
- automata theoretic
- sequence diagrams
- state machines
- discrete dynamical systems
- knowledge base
- concurrent systems
- finite state machines
- dynamic systems
- first order logic
- learning process