On the enforcement of a class of nonlinear constraints on Petri nets
On the enforcement of a class of nonlinear constraints on Petri nets
复制标题
DOI：
10.1016/j.automatica.2015.02.014
复制
发表时间：
2015-05
期刊：
影响因子：
--
通讯作者：
Yufeng Chen;Zhiwu Li;Kamel Barkaoui;A. Giua
中科院分区：
文献类型：
--
作者：
Yufeng Chen;Zhiwu Li;Kamel Barkaoui;A. Giua
本文讨论了Petri网上非线性约束的强制执行问题。针对一类非线性约束，提出了一种监督结构.为了加强对Petri网的非线性约束，我们提出了一个过渡转换技术，以取代一个过渡在一个原始网的一组过渡。然后，设计一个控制库所来控制这些转换的触发，旨在加强非线性约束。建议的监管者是最大限度的许可，在这个意义上，它可以使所有标记在允许区可达和所有标记在禁止区不可达。该方法适用于有界Petri网。最后，提供了一些例子来证明所提出的方法。
This paper deals with the enforcement of nonlinear constraints on Petri nets. A supervisory structure is proposed for a class of nonlinear constraints. In order to enforce a nonlinear constraint on a Petri net, we propose a transition transformation technique to replace a transition in an original net by a set of transitions. Then, a control place is designed to control the firing of these transitions, aiming to enforce the nonlinear constraint. The proposed supervisor is maximally permissive in the sense that it can make all markings in the admissible-zone reachable and all markings in the forbidden-zone unreachable. The proposed method is applicable to bounded Petri nets. Finally, a number of examples are provided to demonstrate the proposed approach.