共 50 条
- [41] Genet: a Tool for the Synthesis and Mining of Petri Nets NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2009, : 181 - +
- [42] Petri Nets as modeling tool for emergent agents FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 271 - 274
- [43] Geist3D, a simulation tool for geometry-driven Petri nets PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 421 - 430
- [44] Object Petri Nets Ontology Editor tool 2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 619 - 624
- [45] Evaluation of Fuzzy Petri nets with the tool TransPlaceSim 2016 IEEE 10TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT), 2016, : 148 - 152
- [47] Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 125 - 135
- [48] Generation of mathematical programming representations for discrete event simulation models of timed petri nets DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2023, 34 (1): : 1 - 19
- [49] Generation of mathematical programming representations for discrete event simulation models of timed petri nets Discrete Event Dynamic Systems, 2024, 34 : 1 - 19