非安全Petri网的反馈控制逻辑综合
信息论
2009-03-25 v1 math.IT
摘要
本文研究了建模离散事件系统的非安全Petri网(PN)的禁止状态问题。为防止禁止状态，可以使用与变迁关联的条件或谓词。通常，存在许多禁止状态，因此许多复杂条件与变迁相关联。本文将提出一种在非安全Petri网中计算谓词的新思路。使用该方法，如果存在最大允许控制器，我们可以构造一个。
引用
@article{arxiv.0903.4036,
title = {Feedback control logic synthesis for non safe Petri nets},
author = {Abbas Dideban and Hassane Alla},
journal= {arXiv preprint arXiv:0903.4036},
year = {2009}
}