共 50 条
- [1] Automatic synthesis of colored Petri nets for the control of FMS IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 327 - 337
- [2] Safety control synthesis for Time Petri Nets WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 222 - +
- [3] Development time hybrid Petri nets for optimization and control of hybrid system DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 1479 - 1487
- [4] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
- [6] Hybrid synthesis for hierarchical structured Petri nets ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 433 - 439
- [7] Automatic translation of time Petri Nets into Estelle description 1600, Publ by Elsevier Science Publishers B.V., Amsterdam, Neth
- [9] Feedback control synthesis for a class of controlled Petri nets with time constraints IEICE Trans Fund Electron Commun Comput Sci, 6 (1116-1126):
- [10] Using parameterized timestamp Petri nets in automatic control MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 211 - 223