共 50 条
- [1] PETRI NET MODELING OF LOGIC CONTROL ALGORITHMS AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 44 - 51
- [2] Analysis of Petri net based control algorithms - Basic properties PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3172 - 3176
- [3] Automatic implementation of Petri Net based control algorithms on PLC PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 2819 - 2823
- [4] Colored Petri net control of OR-Logic PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 795 - 800
- [6] Correctness analysis of Petri net based logic controllers PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3165 - 3166
- [10] A Study of Railway Interlocking Logic Modelling Based on Petri Net Transactions of the Korean Institute of Electrical Engineers, 2023, 72 (11): : 1575 - 1580