On-line verification of current-state opacity by Petri nets and integer linear programming

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

Generalized mutual exclusion contraints on nets with uncontrollable transitions

Alessandro Giua, F. DiCesare, M. Silva · 2003 · 372 citations

Computing, Computer Science, Systems Engineering +11

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

Maria Paola Cabasino, Alessandro Giua, Carla Seatzu · Automatica · 2010 · 348 citations · Full text

Engineering, Computer Engineering, Computer Science +15

Opacity generalised to transition systems

Jeremy Bryans, Maciej Koutny, Laurent Mazaré et al. · International Journal of Information Security · 2008 · 282 citations

Natural Sciences, Physics, Phase Transformations +5