Liveness enforcing monitors for safe and controllable Petri nets

Studies maximally permissive liveness-enforcing policies for ordinary Petri nets. A direct implementation of such policies, however, is impractical because it generally requires full state accessibility. Monitor supervisors only require partial state information and they therefore provide a more practical implementation of supervisory policies. The paper shows that maximally permissive liveness enforcing policies can be implemented as monitors provided the net system is safe and controllable.