Dependability analysis of a class of probabilistic Petri nets

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. ◽

10.1109/prdc.2004.1276593 ◽

2004 ◽

Author(s):

Hsu-Chun Yen ◽

Lien-Po Yu

Keyword(s):

Petri Nets ◽

Dependability Analysis

Download Full-text

Dependability Analysis of Control Center Networks in Smart Grid Using Stochastic Petri Nets

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2012.68 ◽

2012 ◽

Vol 23 (9) ◽

pp. 1721-1730 ◽

Cited By ~ 30

Author(s):

Rongfei Zeng ◽

Yixin Jiang ◽

Chuang Lin ◽

Xuemin Shen

Keyword(s):

Smart Grid ◽

Petri Nets ◽

Stochastic Petri Nets ◽

Control Center ◽

Dependability Analysis

Download Full-text

Deterministic and stochastic dependability analysis of industrial systems using Coloured Petri Nets approach

Safety, Reliability and Risk Analysis ◽

10.1201/b15938-446 ◽

2013 ◽

pp. 2969-2977 ◽

Cited By ~ 2

Author(s):

B Pinna ◽

G Babykina ◽

N Brînzei ◽

J Pétin

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Industrial Systems ◽

Dependability Analysis

Download Full-text

Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2017.2669147 ◽

2018 ◽

Vol 26 (2) ◽

pp. 415-426 ◽

Cited By ~ 12

Author(s):

Lalit Kumar Singh ◽

Hitesh Rajput

Keyword(s):

Petri Nets ◽

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Dependability Analysis ◽

Time Systems

Download Full-text

Approximate performability and dependability analysis using generalized stochastic Petri nets

Performance Evaluation ◽

10.1016/0166-5316(93)90027-r ◽

1993 ◽

Vol 18 (1) ◽

pp. 61-78 ◽

Cited By ~ 24

Author(s):

Boudewijn R. Haverkort

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets ◽

Dependability Analysis ◽

Generalized Stochastic Petri Nets

Download Full-text

Dependability analysis of large-scale distributed systems using stochastic Petri nets

1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929) ◽

10.1109/icsmc.1996.561451 ◽

2002 ◽

Author(s):

J.K. Muppala ◽

Chuang Lin

Keyword(s):

Distributed Systems ◽

Petri Nets ◽

Large Scale ◽

Stochastic Petri Nets ◽

Dependability Analysis

Download Full-text

A stochastic Petri nets approach to dependability analysis of control center networks in smart grid

2011 International Conference on Wireless Communications and Signal Processing (WCSP) ◽

10.1109/wcsp.2011.6096966 ◽

2011 ◽

Cited By ~ 1

Author(s):

Rongfei Zeng ◽

Yixin Jiang ◽

Chuang Lin ◽

Xuemin Shen

Keyword(s):

Smart Grid ◽

Petri Nets ◽

Stochastic Petri Nets ◽

Control Center ◽

Dependability Analysis

Download Full-text

Exploiting Petri nets to support fault tree based dependability analysis

Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331) ◽

10.1109/pnpm.1999.796561 ◽

2003 ◽

Cited By ~ 10

Author(s):

A. Bobbio ◽

G. Franceschinis ◽

R. Gaeta ◽

L. Portinale

Keyword(s):

Petri Nets ◽

Fault Tree ◽

Dependability Analysis

Download Full-text

Dependability analysis of distributed computing systems using stochastic Petri nets

[1992] Proceedings 11th Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1992.235139 ◽

2003 ◽

Cited By ~ 2

Author(s):

N. Lopez-Benitez

Keyword(s):

Distributed Computing ◽

Petri Nets ◽

Stochastic Petri Nets ◽

Distributed Computing Systems ◽

Computing Systems ◽

Dependability Analysis

Download Full-text

Petri nets

AccessScience ◽

10.1036/1097-8542.yb021270 ◽

2015 ◽

Keyword(s):

Petri Nets

Download Full-text

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

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Cited By ~ 1

Author(s):

Hardy Smieszek

Keyword(s):

Petri Nets ◽

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text