Knowledge representation for Petri net based PLC stage program of discrete-event control design

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1176027 ◽

2003 ◽

Author(s):

ShihSen Peng ◽

MengChu Zhou

Keyword(s):

Knowledge Representation ◽

Petri Net ◽

Discrete Event ◽

Control Design ◽

Discrete Event Control

Download Full-text

Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design

International Journal of Production Research ◽

10.1080/0020754021000042364 ◽

2003 ◽

Vol 41 (3) ◽

pp. 629-644 ◽

Author(s):

Shihsen Peng ◽

Mengchu Zhou

Keyword(s):

Petri Net ◽

Discrete Event ◽

Control Design ◽

Logic Programs ◽

Discrete Event Control

Download Full-text

Petri net based PLC stage programming for discrete-event control design

2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236) ◽

10.1109/icsmc.2001.972975 ◽

2002 ◽

Author(s):

ShihSen Peng ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Discrete Event ◽

Control Design ◽

Discrete Event Control

Download Full-text

Ladder Diagram and Petri-Net-Based Discrete-Event Control Design Methods

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) ◽

10.1109/tsmcc.2004.829286 ◽

2004 ◽

Vol 34 (4) ◽

pp. 523-531 ◽

Author(s):

S.S. Peng ◽

M.C. Zhou

Keyword(s):

Petri Net ◽

Discrete Event ◽

Control Design ◽

Design Methods ◽

Ladder Diagram ◽

Discrete Event Control

Download Full-text

Sensor-based Petri net modeling for PLC stage programming of discrete-event control design

Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292) ◽

10.1109/robot.2002.1014819 ◽

2003 ◽

Author(s):

ShihSen Peng ◽

MengChu Zhou

Keyword(s):

Petri Net ◽

Discrete Event ◽

Control Design ◽

Discrete Event Control

Download Full-text

A Petri Net formal design methodology for discrete-event control of industrial automated systems

2010 IEEE 26-th Convention of Electrical and Electronics Engineers in Israel ◽

10.1109/eeei.2010.5662187 ◽

2010 ◽

Author(s):

Sammy Korotkin ◽

Guy Zaidner ◽

Benny Cohen ◽

Amir Ellenbogen ◽

Meir Arad ◽

...

Keyword(s):

Petri Net ◽

Design Methodology ◽

Discrete Event ◽

Automated Systems ◽

Discrete Event Control ◽

Download Full-text

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems

10.1007/978-1-4615-3126-5 ◽

1993 ◽

Author(s):

MengChu Zhou ◽

Frank DiCesare

Keyword(s):

Petri Net ◽

Manufacturing Systems ◽

Discrete Event ◽

Discrete Event Control ◽

Petri Net Synthesis

Download Full-text

Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems

Applications and Theory of Petri Nets 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-45740-2_7 ◽

2001 ◽

pp. 81-100

Author(s):

Slavek Bulach ◽

Anton Brauchle ◽

Hans-Jörg Pfleiderer ◽

Zdenek Kucerovsky

Keyword(s):

Control Systems ◽

Petri Net ◽

Discrete Event ◽

Design And Implementation ◽

Discrete Event Control ◽

Implementation Methodology

Download Full-text

Discrete Event Control Design for Manufacturing Systems Via Ladder Logic Diagrams and Petri Nets: A Comparative Study

Petri Nets in Flexible and Agile Automation ◽

10.1007/978-1-4615-2231-7_10 ◽

1995 ◽

pp. 265-304 ◽

Author(s):

Kurapati Venkatesh ◽

MengChu Zhou ◽

Reggie J. Caudill

Keyword(s):

Comparative Study ◽

Manufacturing Systems ◽

Discrete Event ◽

Control Design ◽

Design For Manufacturing ◽

Discrete Event Control ◽

Download Full-text

Conversion between ladder diagrams and PNs in discrete-event control design-a survey

2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236) ◽

10.1109/icsmc.2001.972971 ◽

2002 ◽

Author(s):

Shihsen Peng ◽

MengChu Zhou

Keyword(s):

Discrete Event ◽

Control Design ◽

Discrete Event Control

Download Full-text

Integrating Temporal Logic as a State-Based Specification Language for Discrete-Event Control Design in Finite Automata

IEEE Transactions on Automation Science and Engineering ◽

10.1109/tase.2006.881904 ◽

2007 ◽

Vol 4 (3) ◽

pp. 451-464 ◽

Author(s):

Kiam Tian Seow

Keyword(s):

Temporal Logic ◽

Finite Automata ◽

Discrete Event ◽

Control Design ◽

Specification Language ◽

Discrete Event Control

Download Full-text