共 50 条
- [24] Verification of biological models with Timed Hybrid Petri Nets COMPUTATIONAL MODELS FOR LIFE SCIENCES (CMLS 07), 2007, 952 : 287 - +
- [25] State feedback control of timed hybrid Petri nets ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2004, 87 (01): : 83 - 89
- [26] State feedback control of timed hybrid Petri nets ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 2003, 86 (10): : 1 - 7
- [27] Timed processes of timed Petri nets APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 490 - 509
- [28] Distributed Model Predictive Control of Timed Continuous Petri nets 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 6317 - 6322