Synthesis of Controlled Behavior with Modules of Signal Nets

摘要

In this paper we present a methodology for synthesis of controlled behavior for systems modelled by modules of signal sets. Modules of signal nets are modules, which are based on Petri nets enriched by two kinds of signals and an signal input/output structure. They are also known as net condition/event systems (or modules). Given an uncontrolled system (a plant) modelled by a module of a signal net, and a control specification given as a regular language representing the desired signal output behavior of this system, we show how to synthesize the maximal permissive and nonblocking behavior of the plant respecting the control specification. Such a behavior serves as an input for an algorithm (presented in), which computes a controller realized as a module of a signal net which in combination with the plant module ensures this behavior.