共 50 条
- [32] New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets APPLIED SCIENCES-BASEL, 2020, 10 (15):
- [33] Analysis of Discrete Event Systems with Petri Nets CIENCIA E INGENIERIA, 2016, 37 (02): : 53 - 58
- [34] A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems APPLIED SCIENCES-BASEL, 2017, 7 (04):
- [35] Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets* 2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1261 - 1266
- [36] Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets IFAC PAPERSONLINE, 2017, 50 (01): : 13630 - 13635
- [37] Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets UKSIM FIFTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2011), 2011, : 150 - 155
- [38] On supervisory control of a class of discrete event systems modelled by Petri nets 2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 810 - 815
- [39] Distributed Implementation of Discrete Event Control Systems based on Petri Nets 2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 496 - 503
- [40] Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 227 - 243