Deadlock detection-oriented unfolding of unbounded Petri nets.
Faming LuRanran TaoYuyue DuQingtian ZengYunxia BaoPublished in: Inf. Sci. (2019)
Keyphrases
- petri net
- deadlock detection
- manufacturing systems
- distributed database systems
- petri net model
- distributed systems
- discrete event systems
- stochastic petri net
- colored petri nets
- fuzzy petri net
- service composition
- communication protocol
- process model
- computer networks
- ims ld
- inter organizational workflow
- e learning
- anomaly detection
- database management systems
- data structure
- database systems