In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 1, pages 841-847. 1999.
Abstract: Inhibitor Petri net models of several popular process synchronization mechanisms are presented and discussed. Semaphores and extended semaphores, monitors and rendezvous concepts are used in simple examples of process synchronizations. The corresponding Petri net models are used to verify basic properties such as mutual exclusion, presence or absence of deadlocks, or priorities in accessing shared resources.
Keywords: inhibitor Petri nets, synchronization mechanisms.