带有抑制弧与变迁优先级的可重构装饰 PT 网
计算机科学中的逻辑
2014-09-25 v1 离散数学
摘要
本文研究了装饰 PT 网的附加控制结构。主要贡献在于抑制弧和优先级。前者确保一个标识可以抑制变迁的触发；抑制弧强制要求仅当库所为空时变迁方可触发。变迁的次序限制了触发行为，使得仅当某变迁在所有使能变迁中具有最高优先级时方可触发。研究表明该概念与可重构 Petri 网是兼容的。
引用
@article{arxiv.1409.6856,
title = {Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities},
author = {Julia Padberg},
journal= {arXiv preprint arXiv:1409.6856},
year = {2014}
}