An intelligent diagnostic system based on Petri nets

Qualitative reasoning: Modeling and simulation with incomplete knowledge

Benjamin Kuipers · Automatica · 1989 · 678 citations

Computing, Mathematics, Decision Theory +13

The synthesis problem of Petri nets

Jörg Desel, Wolfgang Reisig · Acta Informatica · 1996 · 122 citations

Engineering, Computer Engineering, Manufacturing Systems +7

Model‐based approach to automated hazard identification of chemical plants

Catherine Ann Catino, Lyle Ungar · AIChE Journal · 1995 · 55 citations

Engineering, Chemical Engineering, Systems Engineering +17

A robust event-oriented methodology for diagnosis of dynamic process systems

F.E. Finch, Olayiwola Oluwemimo Oyeleye, Mark Kramer · Computers & Chemical Engineering · 1990 · 53 citations

Engineering, Industrial Engineering, Systems Engineering +13

Petri net-Digraph models for automating HAZOP analysis of batch process plants

Rajagopalan Srinivasan, Venkat Venkatasubramanian · Computers & Chemical Engineering · 1996 · 43 citations

Engineering, Industrial Engineering, Systems Engineering +15