共 50 条
- [31] FORMALIZING DISTRIBUTED SELF-ADAPTIVE SYSTEMS USING HIGH-LEVEL PETRI NETS [J]. PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
- [32] Rapid prototyping of distributed computing systems using high-level Petri nets with objects [J]. PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 388 - 393
- [33] Modeling of safe timed Petri nets by two -level (max, plus ) automata [J]. IFAC PAPERSONLINE, 2022, 55 (28): : 212 - 219
- [34] PermGuard: A Scalable Framework for Android Malware Detection Using Permission-to-Exploitation Mapping [J]. IEEE ACCESS, 2025, 13 : 507 - 528
- [35] Simulating Train Dispatching Logic with High-Level Petri Nets [J]. TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2021, 28 (02): : 639 - 648
- [36] High-Level Petri Nets Modules for Embedded Controllers Design [J]. PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 876 - 882
- [39] Concurrency bugs in multithreaded software: modeling and analysis using Petri nets [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (02): : 157 - 195
- [40] Modeling of Power-supply Subsystems of Microgrid Using Petri Nets [J]. 2013 IEEE XXXIII INTERNATIONAL SCIENTIFIC CONFERENCE ELECTRONICS AND NANOTECHNOLOGY (ELNANO), 2013, : 391 - 395