Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

Engineering, Computer Science, Information Systems +17

IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview

R. Bell · 1999 · 1.6K citations

Engineering, Electrical Engineering, Systems Engineering +16

Dynamic safety analysis of process systems by mapping bow-tie into Bayesian network

Nima Khakzad, Faisal Khan, Paul Amyotte · Process Safety and Environmental Protection · 2012 · 573 citations · Full text

Engineering, Systems Engineering, Process Safety +15

Safety critical systems

John Knight · 2002 · 422 citations

Computing, Computer Science, Information Systems +15