Supervisor design with Petri nets for asymmetrical system

Proceedings of the 10th World Congress on Intelligent Control and Automation ◽

10.1109/wcica.2012.6357955 ◽

2012 ◽

Author(s):

Aixiang Feng ◽

Xionglin Luo

Keyword(s):

Supervisor Design

Download Full-text

On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2021.3069201 ◽

2021 ◽

pp. 1-15

Author(s):

YuFeng Chen ◽

YuTing Li ◽

ZhiWu Li ◽

NaiQi Wu

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Design

Download Full-text

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

2015 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2015.7139732 ◽

2015 ◽

Author(s):

HeSuan Hu ◽

Yan Yang ◽

Yang Liu ◽

Chen Chen

Keyword(s):

Manufacturing Systems ◽

Colored Petri Nets ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Design

Download Full-text

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming

International Journal of Systems Science ◽

10.1080/00207720903171779 ◽

2010 ◽

Vol 41 (9) ◽

pp. 1013-1026 ◽

Author(s):

Mi Zhao ◽

ZhiWu Li ◽

HeSuan Hu

Keyword(s):

Mathematical Programming ◽

Supervisor Design

Download Full-text

Petri nets

AccessScience ◽

10.1036/1097-8542.yb021270 ◽

2015 ◽

Keyword(s):

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Author(s):

Hardy Smieszek

Keyword(s):

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Modeling Human-Robot Interaction with Petri-Nets

PsycEXTRA Dataset ◽

10.1037/e578522012-052 ◽

2009 ◽

Author(s):

Rosemarie Yagoda ◽

Michael D. Coovert

Keyword(s):

Human Robot Interaction ◽

Robot Interaction

Download Full-text

ESPNET: expert-system-based simulator of Petri nets

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1988.0033 ◽

1988 ◽

Vol 135 (4) ◽

pp. 239 ◽

Author(s):

J. Duggan ◽

J. Browne

Keyword(s):

Expert System ◽

Download Full-text

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.115.7_914 ◽

1995 ◽

Vol 115 (7) ◽

pp. 914-919

Author(s):

Kazuyuki Mori ◽

Makoto Tsukiyama ◽

Toyoo Fukuda

Keyword(s):

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.129.455 ◽

2009 ◽

Vol 129 (5) ◽

pp. 455-461 ◽

Author(s):

Xinhong Hei ◽

Sei Takahashi ◽

Hideo Nakamura

Keyword(s):

Download Full-text

Modeling of the time-cycle control system for technological processes equipment in pharmaceutical solid dosage manufacturing based on petri nets

Международный журнал Программные продукты и системы ◽

10.15827/0236-235x.113.170-179 ◽

2016 ◽

Vol 31 ◽

pp. 170-179

Author(s):

Д.Э.Я. Окаи ◽

D.E.Ya. Okai ◽

А.Ю. Клюшин ◽

A.Yu. Klyushin ◽

В.Н. Богатиков ◽

...

Keyword(s):

Control System ◽

Technological Processes ◽

Solid Dosage ◽

Download Full-text