Example: State Diagram for a Multiprocessor System
P1 represents active processors
P2 , P4 , P5 represent processors waiting to access queued common memories
P3 represents available buses
firing t1 represents the issuing of access request
firing t2 represents an access to a free memory (not currently being accessed)
firing t3 corresponds to choose the memory that is being accessed by the processor in P4
firing t5 represents the processor waiting for memory will access it
firing t4 represents end of access to a memory for which there is no outstanding request