共 50 条
- [11] Numerical P Systems with Thresholds and Petri Nets BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PT 1, BIC-TA 2023, 2024, 2061 : 331 - 338
- [14] Study on behavior cooperation of Petri nets for distributive concurrent systems PROCEEDINGS OF FOURTH INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1999, : 135 - 141
- [16] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
- [17] Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1997, 27 (01): : 73 - 83
- [18] Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I, 2008, 5100 : 19 - 34
- [19] Checking the inconsistent data in concurrent systems by Petri nets with data operations 2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2016, : 501 - 508
- [20] Modeling inheritance anomaly in concurrent systems using colored Petri nets 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4873 - 4878