共 50 条
- [1] Stochastic Hybrid Approximations of Markovian Petri Nets [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (09): : 1231 - 1244
- [2] A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 381 - 400
- [3] Reliability Modelling of Hybrid Redundancy System Based on Generalized Stochastic Petri Nets [J]. Binggong Xuebao/Acta Armamentarii, 2022, 43 (08): : 2007 - 2016
- [4] Comparison of Hybrid Systems and Fluid Stochastic Petri Nets [J]. Discrete Event Dynamic Systems, 2001, 11 : 77 - 95
- [5] Comparison of hybrid systems and fluid stochastic Petri nets [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (1-2): : 77 - 95
- [6] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring [J]. IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
- [8] Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
- [9] Hybrid modelling with second order fluid stochastic Petri nets [J]. PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 239 - 243
- [10] Model of a Virtual Firewall based on Stochastic Petri Nets [J]. 2018 IEEE 17TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2018,