Reachability Analysis of Variants of Communication-Free Petri Nets

Chien-Liang CHEN; Suey WANG; Hsu-Chun YEN

doi:10.1587/transinf.e92.d.377

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

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

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

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

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets

ACM Transactions on Embedded Computing Systems ◽

10.1145/2406336.2406343 ◽

2013 ◽

Vol 12 (1) ◽

pp. 1-24 ◽

Cited By ~ 6

Author(s):

Hanifa Boucheneb ◽

Kamel Barkaoui

Keyword(s):

Petri Nets ◽

Reachability Analysis ◽

Time Petri Nets ◽

Interleaving Semantics

Download Full-text

Reachability analysis of real-time systems using time Petri nets

IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) ◽

10.1109/3477.875448 ◽

2000 ◽

Vol 30 (5) ◽

pp. 725-736 ◽

Cited By ~ 88

Author(s):

J. Wang ◽

Y. Deng ◽

G. Xu

Keyword(s):

Petri Nets ◽

Real Time ◽

Reachability Analysis ◽

Time Petri Nets ◽

Real Time Systems ◽

Time Systems

Download Full-text