Agent-based model continuity of stochastic time petri nets

Stochastic Time Petri Nets (sTPN) are a useful formalism for modelling and quantitative analysis of concurrent systems with timing constraints. This paper describes an implemented tool supporting sTPN, which was achieved on top of a control-centric agent-based framework which fosters model continuity. Model continuity means the same model can be used for property checking through simulation and for real-time execution. The paper demonstrates the effectiveness of the approach through a modelling example.