Title :
Petri net models of process synchronization mechanisms
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814201
