共 50 条
- [2] Analysis of Petri net models using transitive matrix SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3122 - 3127
- [3] Specification, safety and reliability analysis using stochastic petri net models TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 123 - 132
- [4] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
- [6] MATLAB tools for the analysis of Petri net models 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
- [8] Analysis of Scenarios with Petri-Net Models 2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2015, : 90 - 99
- [9] Sequential tolerance control using a dimensional tolerance petri net COMPUTER-AIDED PRODUCTION ENGINEERING, 2001, : 225 - 228
- [10] On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 6138 - 6143