Liveness enforcing monitors for safe and controllable Petri nets | IEEE Conference Publication | IEEE Xplore

Liveness enforcing monitors for safe and controllable Petri nets


Abstract:

Studies maximally permissive liveness-enforcing policies for ordinary Petri nets. A direct implementation of such policies, however, is impractical because it generally r...Show More

Abstract:

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.
Date of Conference: 10-13 December 2002
Date Added to IEEE Xplore: 10 March 2003
Print ISBN:0-7803-7516-5
Print ISSN: 0191-2216
Conference Location: Las Vegas, NV, USA

Contact IEEE to Subscribe

References

References is not available for this document.