Text this: Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)