共 50 条
- [31] Timed Petri nets and performance evaluation of systems 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 278 - 283
- [32] Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets 2017 IEEE/ACM 25TH INTERNATIONAL SYMPOSIUM ON QUALITY OF SERVICE (IWQOS), 2017,
- [33] Performance bounds for stochastic timed Petri nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 316 - 334
- [34] Compositional analysis and synthesis of coloured Petri nets 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 191 - 196
- [36] Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 267 - 272
- [37] The application of coloured Petri nets in systems analysis PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 582 - 586
- [38] Performance analysis of priority queueing systems using timed Petri nets PROCEEDINGS OF 19TH INTERNATIONAL CONFERENCE COMPUTATIONAL PROBLEMS OF ELECTRICAL ENGINEERING, 2018,
- [39] New approach to cryptographic protocol analysis using coloured Petri nets 1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 334 - 337
- [40] Markovian timed Petri nets for performance analysis of semiconductor manufacturing systems IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 757 - 771