For the most recent entries see the Petri Nets Newsletter.

Petri net models of process synchronization mechanisms.

Zuberek, W.M.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography