共 50 条
- [41] Transforming event graphs to colored Petri nets [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 317 - 320
- [42] Methods for Efficient Unfolding of Colored Petri Nets [J]. FUNDAMENTA INFORMATICAE, 2022, 189 (3-4) : 297 - 320
- [43] On the computation of stubborn sets of colored Petri nets [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 146 - 165
- [44] Distributed intrusion detection system modeling and simulation using hierarchical colored Petri nets [J]. ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 3824 - 3827
- [45] Study of DoD architecture simulation validation based on UML and extended colored Petri nets [J]. PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 61 - +
- [46] On Modeling and Simulation of Resource Allocation Policies in Cloud Computing Using Colored Petri Nets [J]. APPLIED SCIENCES-BASEL, 2020, 10 (16):
- [47] Colored Petri nets based modeling and simulation of mixed workload interaction in a nondedicated cluster [J]. SEVENTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND GRID IN ASIA PACIFIC REGION, PROCEEDINGS, 2004, : 294 - 303
- [48] Modeling and Simulation of a Re-entrant Manufacturing System Using Colored Petri Nets [J]. 45TH ANNUAL SIMULATION SYMPOSIUM 2012 (ANSS 2012), 2012, 44 (02): : 1 - 8
- [50] DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII, 2017, 10470 : 91 - 118