共 50 条
- [41] Performance equivalent simplification of sequent and parallel transitions in stochastic Petri nets Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2002, 30 (08): : 1134 - 1137
- [42] COMPLEXITIES OF DECISION PROBLEMS FOR EQUIVALENCE AND SIMPLIFICATION OF SAFE PETRI NETS. Systems, computers, controls, 1980, 11 (03): : 75 - 82
- [43] Model Simplification in Petri Net Models UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 162 - 167
- [44] Use of Petri nets to model the MPPT converter of a photovoltaic system CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 543 - 546
- [45] Model Checking of ω-Independent Unbounded Petri Nets for an Unbounded System IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2024,
- [46] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
- [47] Production Process Optimization in Flexible Manufacturing System Using Petri Nets WCECS 2008: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, 2008, : 694 - 698
- [49] Design of a FMS teching system controller based on Petri nets Jixie Kexue Yu Jishu/Mechanical Science and Technology, 1996, 15 (06):
- [50] Hybrid modeling of control system based on hybrid Petri nets 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 254 - 258