Reachability analysis of logic Petri nets using incidence matrix

Yu Yue Du; Yu Hui Ning; Liang Qi

doi:10.1080/17517575.2012.759280

Reachability analysis of logic Petri nets using incidence matrix

Enterprise Information Systems ◽

10.1080/17517575.2012.759280 ◽

2013 ◽

Vol 8 (6) ◽

pp. 630-647 ◽

Cited By ~ 8

Author(s):

Yu Yue Du ◽

Yu Hui Ning ◽

Liang Qi

Keyword(s):

Petri Nets ◽

Incidence Matrix ◽

Reachability Analysis

Download Full-text

On place invariant sets and the rank of the incidence matrix of Petri nets

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) ◽

10.1109/icsmc.1998.725402 ◽

2002 ◽

Author(s):

P. Ramachandran ◽

M. Kamath

Keyword(s):

Petri Nets ◽

Incidence Matrix ◽

Invariant Sets

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

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

Generating basis siphons and traps of Petri nets using the sign incidence matrix

IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications ◽

10.1109/81.285680 ◽

1994 ◽

Vol 41 (4) ◽

pp. 266-271 ◽

Cited By ~ 85

Author(s):

E.R. Boer ◽

T. Murata

Keyword(s):

Petri Nets ◽

Incidence Matrix

Download Full-text

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

Sign incidence matrix and generation of basis siphons and traps of Petri nets

[Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics ◽

10.1109/icsmc.1992.271701 ◽

2003 ◽

Cited By ~ 2

Author(s):

E.R. Boer ◽

T. Murata

Keyword(s):

Petri Nets ◽

Incidence Matrix

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