An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

Petri nets: Properties, analysis and applications

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

Engineering, Computer Engineering, Computer Science +15

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

Supervisory control of timed discrete-event systems

B.A. Brandin, W.M. Wonham · IEEE Transactions on Automatic Control · 1994 · 396 citations

Engineering, Computer Science, Systems Engineering +17

Generalized mutual exclusion contraints on nets with uncontrollable transitions

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

Computing, Computer Science, Systems Engineering +11

Petri net supervisors for DES with uncontrollable and unobservable transitions

John Moody, Panos J. Antsaklis · IEEE Transactions on Automatic Control · 2000 · 279 citations

Engineering, Robotics Engineering, Systems Engineering +17