安全Petri网最小控制位置集的确定
信息论
2009-01-28 v1 math.IT
摘要
我们的目标是为基于Petri网的离散事件系统设计一种简单方法的受控系统。可以分别构建系统和规范的Petri网模型。通过两个模型的同步合成，推导出期望的闭环运行模型。不可控变迁常常导致禁止状态。禁止状态问题通过线性约束来解决。一组线性约束允许禁止这些状态的可达性。通常，这些所谓禁止状态的数量以及随之而来的约束数量很大，导致大量的控制位置。本文给出了一种系统的方法来减少安全Petri网约束的规模和数量。通过使用基于Petri网不变量的方法，确定了最大允许控制器。控制器的大小接近于指定模型的大小，并且可以以结构化的方式在PLC上实现。
引用
@article{arxiv.0901.4147,
title = {Determination of Minimal Sets of Control Places for Safe Petri Nets},
author = {Abbas Dideban and Hassane. Alla},
journal= {arXiv preprint arXiv:0901.4147},
year = {2009}
}
备注
ACC07 American Control Conference, New-York : \'Etats-Unis d'Am\'erique (2007)