Results 131 to 140 of about 4,382 (153)

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  

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets

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

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

Automatica, 2010
Alessandro Giua, Carla Seatzu
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  

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 net

2000
openaire   +1 more source

Critical updates in neuroendocrine tumors: Version 9 American Joint Committee on Cancer staging system for gastroenteropancreatic neuroendocrine tumors

Ca-A Cancer Journal for Clinicians
Chanjuan J Shi, Elliot A Asare
exaly  

Petri Nets

1988
Eike Best, César C. Fernández
openaire   +1 more source

Petri Nets

2017
openaire   +2 more sources