共 50 条
- [31] UAV reconnaissance tactical planning based on colored Petri nets Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2022, 44 (03): : 900 - 907
- [32] Pattern Based Model Reuse Using Colored Petri Nets 2019 19TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2019), 2019, : 32 - 38
- [33] Task Allocation Policy for UGV Systems using Colored Petri Nets 2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 3050 - 3055
- [35] Scenario-based system design with colored Petri nets: an application to train control systems Software & Systems Modeling, 2018, 17 : 295 - 317
- [36] Detecting Information Leakage Against Chinese Wall Policy Based on the Unfolding Technique of Colored Petri Nets IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2024,
- [37] Modeling and Simulation of Air France Baggage Handling System with Colored Petri Nets IFAC PAPERSONLINE, 2019, 52 (13): : 2443 - 2448
- [39] Modeling system integrity of a security critical system using Colored Petri Nets Safety and Security Engineering, 2005, 82 : 3 - 12
- [40] Verifying Dynamic Semantic Composability of BOM-based Composed Models using Colored Petri Nets 2012 ACM/IEEE/SCS 26TH WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS), 2012, : 248 - 255