共 50 条
- [3] The >>Petri Net Baukasten<<:: An overview [J]. UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 26 - 53
- [5] The Petri net modelling and analysis tool Π-Tool [J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (06) : 436 - 445
- [6] The ePNK: An Extensible Petri Net Tool for PNML [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2011, 6709 : 318 - 327
- [7] Charlie - An Extensible Petri Net Analysis Tool [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 200 - 211
- [8] Petri Net Tool for the Construction of Street Networks [J]. 2009 6TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, COMPUTING SCIENCE AND AUTOMATION CONTROL (CCE 2009), 2009, : 204 - 209
- [9] A GRAPHICAL PETRI NET TOOL FOR PERFORMANCE ANALYSIS [J]. PERFORMANCE EVALUATION, 1987, 7 (04) : 337 - 337
- [10] Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools [J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 125 - 135