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 MoreMetadata
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