Control policy for a subclass of Petri nets without reachability analysis

GaiYun Liu; Fang Yu; Daniel Yuh Chao

doi:10.1049/iet-cta.2012.0426

Control policy for a subclass of Petri nets without reachability analysis

IET Control Theory and Applications ◽

10.1049/iet-cta.2012.0426 ◽

2013 ◽

Vol 7 (8) ◽

pp. 1131-1141 ◽

Cited By ~ 9

Author(s):

GaiYun Liu ◽

Fang Yu ◽

Daniel Yuh Chao

Keyword(s):

Petri Nets ◽

Control Policy ◽

Reachability Analysis

Download Full-text

Forward Reachability Analysis of Timed Petri Nets

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30206-3_24 ◽

2004 ◽

pp. 343-362 ◽

Cited By ~ 10

Author(s):

Parosh Aziz Abdulla ◽

Johann Deneux ◽

Pritha Mahata ◽

Aletta Nylén

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Timed Petri Nets

Download Full-text

One Novel Computationally Improved Control Policy for Deadlock Problems of Flexible Manufacturing Systems using Petri Nets

Modelling, Identification and Control / 801: Advances in Computer Science ◽

10.2316/p.2013.799-038 ◽

2013 ◽

Author(s):

Yen-Liang Pan ◽

Wei-Shiang Liao ◽

Chia-Hsing Wei ◽

Tzu-Hsiang Huang

Keyword(s):

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Control Policy

Download Full-text

Optimal-Cost Reachability Analysis Based on Time Petri Nets

2018 18th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2018.000-1 ◽

2018 ◽

Cited By ~ 1

Author(s):

Hanifa Boucheneb ◽

Didier Lime ◽

Olivier H. Roux ◽

Charlotte Seidner

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Time Petri Nets ◽

Optimal Cost

Download Full-text

Reachability analysis in T-invariant-less petri nets

IEEE Transactions on Automatic Control ◽

10.1109/tac.2003.812788 ◽

2003 ◽

Vol 48 (6) ◽

pp. 1019-1024 ◽

Cited By ~ 35

Author(s):

A.E. Kostin

Keyword(s):

Petri Nets ◽

Reachability Analysis

Download Full-text

Efficient Reachability Analysis for Time Petri Nets

IEEE Transactions on Computers ◽

10.1109/tc.2010.195 ◽

2011 ◽

Vol 60 (8) ◽

pp. 1085-1099 ◽

Cited By ~ 12

Author(s):

Rachid Hadjidj ◽

Hanifa Boucheneb

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Time Petri Nets

Download Full-text

Reachability Analysis of Variants of Communication-Free Petri Nets

IEICE Transactions on Information and Systems ◽

10.1587/transinf.e92.d.377 ◽

2009 ◽

Vol E92-D (3) ◽

pp. 377-388 ◽

Cited By ~ 1

Author(s):

Chien-Liang CHEN ◽

Suey WANG ◽

Hsu-Chun YEN

Keyword(s):

Petri Nets ◽

Reachability Analysis

Download Full-text

A control policy for γ-nets without reachability analysis and siphon enumeration

2013 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2013.6653897 ◽

2013 ◽

Author(s):

Wenhui Wu ◽

Daniel Yuh Chao ◽

Fang Yu

Keyword(s):

Control Policy ◽

Reachability Analysis

Download Full-text

Reachability Analysis of P-time Petri Nets with Parametric Markings

2012 12th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2012.23 ◽

2012 ◽

Author(s):

Hanifa Boucheneb ◽

Kamel Barkaoui

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Time Petri Nets

Download Full-text

Efficient reachability analysis of bounded petri nets using constraint programming

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) ◽

10.1109/icsmc.2004.1399939 ◽

2005 ◽

Cited By ~ 1

Author(s):

T. Bourdeaud'huy ◽

P. Yim ◽

S. Hanafi

Keyword(s):

Petri Nets ◽

Constraint Programming ◽

Reachability Analysis

Download Full-text

Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2011.16 ◽

2011 ◽

Cited By ~ 8

Author(s):

Carlo Bellettini ◽

Lorenzo Capra

Keyword(s):

Petri Nets ◽

Reachability Analysis

Download Full-text