共 50 条
- [1] Methodology for International Transport Corridor Macro-Modeling Using Petri Nets at the Early Stages of Corridor Development with Limited Input Data MODELLING, 2024, 5 (01): : 238 - 264
- [2] Modular modeling using Petri nets IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1996, 12 (05): : 800 - 809
- [3] Modeling Petri Nets Using Alloy TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
- [4] Hybrid Petri Nets a Framework for Hybrid Systems Modeling 2017 INTERNATIONAL CONFERENCE ON ELECTROMECHANICAL AND POWER SYSTEMS (SIELMEN), 2017, : 20 - 25
- [6] Modeling and Analyzing the Android Permission Framework using High Level Petri Nets 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS), 2017, : 232 - 239
- [7] Modeling of a manufacturing system using Petri nets IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 137 - 142
- [8] PROTOCOL MODELING AND VALIDATION USING PETRI NETS TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 51 - 71
- [10] SYSTEM MODELING AND ANALYSIS USING PETRI NETS SYSTEMS ANALYSIS MODELLING SIMULATION, 1988, 5 (01): : 3 - 25