Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS) - Wiktor Daszczuk (Annals of computer science and information systems, 2018)