共 50 条
- [41] Modelling Attacks in Blockchain Systems using Petri Nets [J]. 2020 IEEE 19TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2020), 2020, : 1070 - 1079
- [42] SYMBOLIC EXECUTION OF CONCURRENT SYSTEMS USING PETRI NETS [J]. COMPUTER LANGUAGES, 1989, 14 (04): : 263 - 281
- [45] Using nested Petri nets for modeling multiagent systems [J]. INTERNATIONAL WORKSHOP ADVANCED TECHNOLOGIES IN MATERIAL SCIENCE, MECHANICAL AND AUTOMATION ENGINEERING - MIP: ENGINEERING - 2019, 2019, 537
- [46] Failure Analysis for Adaptive Autonomous Agents using Petri Nets [J]. PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 293 - 297
- [47] Using colored Petri nets to simulate object Petri nets [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
- [48] An Approach to Safety Analysis of Train Control Systems with Coloured Petri Nets [J]. 2021 PROCEEDINGS OF THE 40TH CHINESE CONTROL CONFERENCE (CCC), 2021, : 4744 - 4750
- [49] Safety Analysis for Complex Systems Based on Petri Nets and Reachability Trees [J]. 2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL II, PROCEEDINGS, 2008, : 578 - 582
- [50] Study on Reliability of Mechanical Systems Based on Petri Nets and Failure Dependence [J]. MATERIALS PROCESSING TECHNOLOGY II, PTS 1-4, 2012, 538-541 : 2892 - 2896