Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.
Wiktor B. DaszczukWlodek M. ZuberekPublished in: DepCoS-RELCOMEX (2017)
Keyphrases
- deadlock detection
- petri net
- distributed systems
- manufacturing systems
- distributed database systems
- fault tolerant
- discrete event systems
- colored petri nets
- concurrent systems
- knowledge representation
- distributed environment
- fuzzy petri net
- mobile agents
- real time systems
- service composition
- knowledge based systems