Analysis of probabilistic behavior of the system with nonregeneration points interpreted as Petri net by Markov renewal processes
Yoshio Sugasawa, Koichi Murata, Yoshio Kurabayashi · Electronics and Communications in Japan (Part I Communications) · 1985
Abstract A Petri net is a system in which a meaning of simple interpretation is assigned to a set of signals. Petri nets can provide a particularly effective means of modeling a parallel operation. One of the advantages to be derived by modeling a system with a Petri net is the establishment of relationships between certain net structures and dynamic behavior. We begin by introducing a simple semaphore system interpreted as a Petri net. At the occurrence of a transition, the system states can be classified into regeneration points and nonregeneration points. Limiting probabilities of the system behavior are derived by applying a Markov renewal process. Finally, the time‐ratio concept is introduced and system deadlock is studied by analyzing the realtion between the change‐of‐time ratio and the limiting probability.