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]](https://research.library.mun.ca/style/images/fileicons/application_pdf.png) |
[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) |
Official URL: https://doi.org/10.1109/ICSMC.1999.814201
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| URI: | http://research.library.mun.ca/id/eprint/14610 |
| Item ID: | 14610 |
| Department(s): | Science, Faculty of > Computer Science |
| Date: | October 1999 |
| Date Type: | Completion |
| Digital Object Identifier (DOI): | https://doi.org/10.1109/ICSMC.1999.814201 |
| Related URLs: |
Actions (login required)
 |
View Item |
Download statistics
Download statistics