共 50 条
- [31] TimeNET: Evaluation tool for non-Markovian stochastic Petri nets IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM - IPDS'96, PROCEEDINGS, 1996, : 62 - 62
- [32] Modeling and evaluation of scatternets performance by using Petri Nets ICWN'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WIRELESS NETWORKS, 2003, : 398 - 404
- [33] MathMC: A mathematica-based tool for CSL model checking of Deterministic and Stochastic Petri Nets QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 133 - +
- [34] Evaluation of the energy consumption and the packet loss in WSNs using Deterministic Stochastic Petri Nets IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA 2016), 2016, : 772 - 777
- [35] Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net Tool 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1007 - 1012
- [36] Evaluation of the Production Availability of an Offshore Installation by Stochastic Petri Nets Modeling 2013 INTERNATIONAL CONFERENCE ON DIGITAL TECHNOLOGIES (DT), 2013, : 147 - 155
- [39] Performance Modeling of Microservices with Circuit Breakers using Stochastic Petri Nets 18TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON 2024, 2024,