Control Synthesis of Petri Nets Based on S-Decreases |
| |
Authors: | Chen Haoxun |
| |
Affiliation: | (1) Systems Engineering Institute, Xi'an Jiaotong University, Xi'an, 710049, P.R. China |
| |
Abstract: | A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems. |
| |
Keywords: | discrete event system controlled Petri net forbidden state control synthesis |
本文献已被 SpringerLink 等数据库收录! |
|