非安全 Petri 网的反馈控制逻辑综合
计算机科学中的逻辑
2010-04-26 v1
摘要
本文研究建模离散事件系统的非安全 Petri 网 (PN) 的禁止状态问题。为阻止禁止状态，可以使用与变迁关联的条件或谓词。通常，存在大量禁止状态，因此许多复杂条件与变迁相关联。本文将提出一种在非安全 Petri 网中计算谓词的新思路。利用该方法，若存在最大允许控制器，则可构造之。
引用
@article{arxiv.1003.4905,
title = {Feedback control logic synthesis for non safe Petri nets},
author = {Abbas Dideban and Hassane Alla},
journal= {arXiv preprint arXiv:1003.4905},
year = {2010}
}