Y. Sugasawa et al., BEHAVIOR ANALYSIS AND PERFORMABILITY OF A COOPERATIVE MOTION SYSTEM MODELED BY PETRI-NET, Computers & industrial engineering, 24(4), 1993, pp. 523-529
Petri Net is very descriptive and flexible in modeling systems of conc
urrency and asynchronization. In this paper, it is used to model a co-
operative motion system. A Markov Renewal Process with some non-regene
ration points is applied to analyze the probabilistic behavior of the
modeled system. Finally, measurement values such as availability and p
erformability are defined, and their numerical examples are given.