Behavior analysis and performability of a co-operative motion system modeled by Petri net

Abstract Petri Net is very descriptive and flexible in modeling systems of concurrency and asynchronization. In this paper, it is used to model a co-operative motion system. A Markov Renewal Process with some non-regeneration points is applied to analyze the probabilistic behavior of the modeled system. Finally, measurement values such as availability and performability are defined, and their numerical examples are given.