Petri net models of process synchronization mechanisms

Zuberek, W. M. (1999) Petri net models of process synchronization mechanisms. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

[img] [English] PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.) - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (168kB)


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.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14610
Department(s): Science, Faculty of > Computer Science
Date: October 1999
Date Type: Completion
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics