Characteristic analysis of hybrid stochastic timed petri net

Abstract

In this paper, an interesting Hybrid Stochastic Timed Petri Net (HSTPN) is introduced synthetically for a class of hybrid systems with discrete, continuous, conflicting, time-delay and stochastic characteristics simultaneously. Each tuple of the model is performed in detail, the dynamic performance and reachability are analyzed. The proposed HSTPN outperforms conventional hybrid Petri net models in terms of describing the scalability and description capability to hybrid characteristics of hybrid systems. Taking the automatic sorting hybrid system as an example, through analyzing the complexity in modeling, we show how the HSTPN could be adopted to the automatic sorting hybrid system and finally the rationality and effectiveness of HSTPN model are verified.