A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures

A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures
复制标题

DOI：
10.3182/20140514-3-fr-4046.00085
复制
发表时间：
2014
期刊：
--
影响因子：
--
通讯作者：
Ziyue Ma;Zhiwu Li;A. Giua
Ziyue Ma;Zhiwu Li;A. Giua
中科院分区：
其他
文献类型：
--
作者：
Ziyue Ma;Zhiwu Li;A. Giua

文献摘要

被引文献

相似文献

摘要本文研究了约束变换问题。我们考虑了一类特殊的系统，其中不可控子网是一个装配流系统，它是backward-synchronization-backward-conflict-free网的一个子类。我们提出了一个算法，将一个给定的不可接受的GMEC转换成一个等价的可允许的OR-GMEC。该算法基于一种技术，该技术添加了通过组合基本约束获得的新约束。
Abstract In this paper we study the problem of constraint transformation. We consider a special type of system in which the uncontrollable subnet is an assembly flow system, which is a subclass of backward-synchronization-backward-conflict-free Petri net. We propose an algorithm to transform a given inadmissable GMEC into an equivalent admissible OR-GMEC. The algorithm is based on a technique that adds new constraints obtained by composition of elementary ones.