共 50 条
- [31] Empirical validation of class diagram complexity metrics SCCC 2001: XXI INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2001, : 95 - 104
- [32] Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 80 - 91
- [33] From Coloured Petri Nets to Object Petri Nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
- [36] Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), 2022, 13288 : 213 - 235
- [39] Modelling and measuring complexity of traditional and ancient technologies using Petri nets PLOS ONE, 2022, 17 (11):
- [40] The identification of key metrics of alarms in production processes using BPMN and Petri nets 18TH INTERNATIONAL CONFERENCE ENTERPRISE AND COMPETITIVE ENVIRONMENT, 2015, : 727 - 736