Cyber–physical system (CPS) is a complex system that contains multiple components working cooperatively. According to its characteristics, we propose an object-oriented generalized stochastic Petri ...

Timed Petri nets (TPNs) are useful for performance evaluation of discrete event systems due to their mathematical formalism. This paper focuses on their use to model the preemption of emergency ...