Deadlock detection in Petri nets: One trace for one deadlock?
Andrei KaratkevichIwona GrobelnaPublished in: HSI (2014)
Keyphrases
- petri net
- deadlock detection
- manufacturing systems
- distributed database systems
- distributed systems
- discrete event systems
- petri net model
- communication protocol
- fuzzy petri net
- service composition
- programmable logic controller
- colored petri nets
- computer networks
- database systems
- ims ld
- process model
- stochastic petri net
- inter organizational workflow