共 50 条
- [1] Petri-Net Based Safety Analysis of Process Systems [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
- [2] Formal security model research based on petri-net [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 575 - 578
- [3] A Colored Petri-Net Model For Control Execution Of Distributed Systems [J]. 2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 277 - 282
- [4] A COLORED PETRI-NET MODEL OF VHDL [J]. FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 101 - 123
- [6] A GENERALIZED FUZZY PETRI-NET MODEL [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1994, 2 (04) : 295 - 301
- [7] A PETRI-NET BASED APPROACH FOR VERIFYING THE INTEGRITY OF PRODUCTION SYSTEMS [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 36 (03): : 447 - 468
- [8] Simulating on CIS Based on Petri-Net [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1132 - 1135
- [10] WS-Net: A Petri-net based specification model for web services [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427