DocumentCode
3443784
Title
Petri net models of process synchronization mechanisms
Author
Zuberek, W.M.
Author_Institution
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
Volume
1
fYear
1999
fDate
1999
Firstpage
841
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
Petri nets; formal specification; synchronisation; system recovery; Petri net models; deadlocks; mutual exclusion; process synchronization mechanisms; rendezvous concepts; semaphores; shared resources; Computer industry; Computer science; Distributed computing; Distributed databases; Electrical equipment industry; Industrial control; Inhibitors; Mathematical model; Petri nets; Process control;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location
Tokyo
ISSN
1062-922X
Print_ISBN
0-7803-5731-0
Type
conf
DOI
10.1109/ICSMC.1999.814201
Filename
814201
Link To Document