共 16 条
- [2] C. Team, 2015, COMMON VULNERABILITY
- [3] A Petri-net-based correctness analysis of Internet stock trading systems [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (01): : 93 - 99
- [4] Jiang YX, 2004, IEEE SYS MAN CYBERN, P5013
- [5] Kumar P., 2020, ANN NUCL ENERGY, V147
- [7] Mell P., 2007, IEEE SECUR PRIV
- [8] Sherief NadaH., 2010, 2010 7 INT C INF SYS, P1
- [9] Wang JQ, 2009, PROCEEDINGS OF 2009 CONFERENCE ON SYSTEMS SCIENCE, MANAGEMENT SCIENCE & SYSTEM DYNAMICS, VOL 7, P1
- [10] Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems [J]. IEEE ACCESS, 2020, 8 : 36386 - 36397