共 50 条
- [2] GRAFCET AND PETRI-NETS .2. [J]. RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1987, 21 (06): : 513 - 513
- [3] LOGICAL INFERENCE ON INTERPRETED PETRI NETS [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (03): : 98 - 105
- [4] Algebraic Structures in Interpreted Petri nets [J]. IFAC PAPERSONLINE, 2023, 56 (02): : 7893 - 7898
- [5] Enforcing Diagnosability in Interpreted Petri Nets [J]. IFAC PAPERSONLINE, 2015, 48 (07): : 58 - 63
- [6] Interpreted Petri Nets in DES Control Synthesis [J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2016, PT I, 2016, 9621 : 377 - 387
- [7] Model checking of Signal Interpreted Petri Nets [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2748 - 2752
- [9] PLC programming with signal interpreted Petri nets [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 440 - 449
- [10] Design of bicolored observers for interpreted Petri nets [J]. 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 2630 - +