2.2 Deadlock in Metropolis
Many different definitions can be found in the literature concerning
deadlock. In our approach, we define deadlock for Metropolis
designs as follows:
DEFINITION 2.1. A deadlock is a situation where two or more
processes are blocked in execution while each is waiting for some
conditions to be changed by others.
Given the constructs considered in MMM, only the following situations
may block the execution of a running process: