Results 211 to 220 of about 145,352 (236)

Make your Petri nets understandable: Reliability block diagrams driven Petri nets

Reliability Engineering and System Safety, 2013
Jean-Pierre Signoret, Yves Dutuit, Cyrille Folleau   +2 more
exaly  

Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review

Safety Science, 2019
Sohag Kabir, Yiannis Ioannis Papadopoulos   +1 more
exaly  

Petri Nets

2012
openaire   +1 more source

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets

IEEE Transactions on Automatic Control, 2017
Xiang Yin, Stéphane Lafortune
exaly  

Petri nets and Automatic Control: A historical perspective

Annual Reviews in Control, 2018
Alessandro Giua, Manuel Silva
exaly  

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer, 2007
Kurt Jensen
exaly  

Petri nets: Properties, analysis and applications

Proceedings of the IEEE, 1989
exaly  

Verification of State-Based Opacity Using Petri Nets

IEEE Transactions on Automatic Control, 2017
Yin Tong, Zhiwu Li, Carla Seatzu
exaly  

Petri net

2000
openaire   +1 more source

Fault detection for discrete event systems using Petri nets with unobservable transitions

Automatica, 2010
Alessandro Giua, Carla Seatzu
exaly