The use of prime implicants in dependability analysis of software controlled systems

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Engineering, Computer Science, Systems Engineering +12

The Problem of Simplifying Truth Functions

W. V. Quine · American Mathematical Monthly · 1952 · 801 citations

Natural Sciences, Computer Science, Mathematics +11

A Way to Simplify Truth Functions

W. V. Quine · American Mathematical Monthly · 1955 · 572 citations

Humanities, Mathematics, Logic +6

Safety Analysis Using Petri Nets

Nancy G. Leveson, Janice L. Stolzy · IEEE Transactions on Software Engineering · 1987 · 438 citations

Engineering, Computer Engineering, Systems Engineering +17