Condition/Event Net Synthesis for Discrete Event Control Using Partial Language Specifications

Although a Petri net is a useful tool for modeling discrete event systems, a major difficulty in applying it to the synthesis of Petri net controllers is the accurate representation of concurrent behaviors of a Petri net. A partial language is considered the most appropriate representation of concurrent behaviors of a Petri net. This paper presents a framework for synthesis of condition/event (C/E) net, a subclass of Petri nets, controllers to achieve the desired system behaviors specified by a partial language. The controllers enable and disable certain events to restrict the system behaviors. The paper also proves the conditions for the existence of C/E net controllers and proposes a controller synthesis procedure.