A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
Ziyue MaZhiWu LiAlessandro GiuaPublished in: ACC (2015)
Keyphrases
- petri net
- conflict free
- manufacturing systems
- petri net model
- discrete event systems
- functional dependencies
- stochastic petri net
- fuzzy petri net
- database schemes
- ims ld
- state machines
- service composition
- sequence diagrams
- colored petri nets
- argumentation frameworks
- web services
- concurrent systems
- multivalued dependencies