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

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

A hierarchy scheduling structure based on mathematical programming and controlled hybrid Petri nets

2008 12th International Conference on Computer Supported Cooperative Work in Design ◽

10.1109/cscwd.2008.4537098 ◽

2008 ◽

Author(s):

Jinsong Zhang ◽

Qiqiang Li ◽

Zhaoxia Wang ◽

Qingqiang Guo

Keyword(s):

Mathematical Programming ◽

Hybrid Petri Nets

Download Full-text

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

Deadlock analysis of Petri nets using siphons and mathematical programming

IEEE Transactions on Robotics and Automation ◽

10.1109/70.650158 ◽

1997 ◽

Vol 13 (6) ◽

pp. 793-804 ◽

Author(s):

Feng Chu ◽

Xiao-Lan Xie

Keyword(s):

Mathematical Programming ◽

Deadlock Analysis

Download Full-text

An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Discrete Event Dynamic Systems ◽

10.1007/s10626-011-0124-9 ◽

2011 ◽

Vol 23 (1) ◽

pp. 3-26 ◽

Author(s):

Mi Zhao ◽

Yifan Hou

Keyword(s):

Mathematical Programming ◽

Iterative Method ◽

Download Full-text

Scheduling of Flexible Manufacturing Systems Using Timed Petri Nets and Mathematical Programming

2006 8th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2006.1678414 ◽

2006 ◽

Author(s):

T. Bourdeaud'huy ◽

S. Hanafi ◽

P. Yim

Keyword(s):

Mathematical Programming ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming

IFAC Proceedings Volumes ◽

10.3182/20140514-3-fr-4046.00078 ◽

2014 ◽

Vol 47 (2) ◽

pp. 383-387 ◽

Author(s):

GaiYun Liu ◽

ZhiWu Li ◽

Abdulrahman M. Al-Ahmari

Keyword(s):

Mathematical Programming ◽

Download Full-text

A method for finding firing sequences for the reachability problem of Petri nets with mathematical programming technique

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.116.2_289 ◽

1996 ◽

Vol 116 (2) ◽

pp. 289-295 ◽

Author(s):

Yasumasa Fujii ◽

Takashi Sekiguchi

Keyword(s):

Mathematical Programming ◽

Reachability Problem ◽

Programming Technique ◽

Mathematical Programming Technique

Download Full-text

A Mathematical Programming Model for Safe T-Time Petri Nets

13th IFAC Symposium on Information Control Problems in Manufacturing ◽

10.3182/20090603-3-ru-2001.00177 ◽

2009 ◽

Author(s):

Bourdeaud'huy, Thomas

Keyword(s):

Mathematical Programming ◽

Programming Model ◽

Time Petri Nets ◽

Mathematical Programming Model

Download Full-text