共 50 条
- [41] Safety Property Analysis of Service-Oriented IoT Based on Interval Timed Coloured Petri Nets 2018 15TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2018, : 361 - 366
- [43] Forward reachability analysis of timed Petri nets FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 343 - 362
- [44] Formal Analysis of Timed Continuous Petri Nets 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 245 - 250
- [45] Timed Coloured Petri Nets for Performance Evaluation of DSP Applications: The 3GPP LTE Case Study VLSI-SOC: DESIGN METHODOLOGIES FOR SOC AND SIP, 2010, 313 : 114 - +
- [46] Timed Petri nets, Linear logic, and performance modeling MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 195 - 200
- [47] Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets COMPUTER JOURNAL, 2016, 59 (10): : 1563 - 1580
- [48] Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies International Journal of Information Security, 2020, 19 : 163 - 187
- [50] Development of an environment for distributed colored timed Petri nets 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 523 - 528