共 50 条
- [22] Automatic Specification Generation for Tracking Control in Interpreted Petri nets 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 341 - 346
- [23] Automatic synthesis of multiple place resource models with Petri nets PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 5096 - 5101
- [24] Modeling and control for hybrid system based on general hybrid Petri nets Kongzhi yu Juece/Control and Decision, 2007, 22 (04): : 366 - 372
- [25] Control synthesis for a class of controlled time Petri nets with hard real-time deadlines Kongzhi yu Juece Control Decis, 3 (245-249):