A Unified Approach for Reasoning about Conflict-Free Petri Nets.
Hsu-Chun YenBow-Yaw WangMing-Sheng YangPublished in: Application and Theory of Petri Nets (1993)
Keyphrases
- petri net
- conflict free
- functional dependencies
- petri net model
- discrete event systems
- database schemes
- colored petri nets
- manufacturing systems
- service composition
- fuzzy petri net
- stochastic petri net
- database
- ims ld
- argumentation frameworks
- state machines
- concurrent systems
- multivalued dependencies
- artificial intelligence
- databases
- web services