阿克沙伊，S。；洛伊奇，Hélouët；克洛德·贾德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。 结构约束下时间Petri网的鲁棒性。 （英语） Zbl 1374.68316号 Jurdziñski，Marcin（ed.）等人，时间系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595，11-26（2012）。 摘要：本文讨论了时间Petri网（TPN）在外部体系结构约束下的鲁棒性问题。主要目标是检查作为TPN给出的定时规范在受到额外时间和调度限制时是否按预期运行。这些约束由另一个TPN给出，该TPN通过读取弧来约束规范。我们的鲁棒性属性表明，受约束的网络不会表现出新的定时或不定时行为。我们证明了这个性质并不总是有保证的，但在1-安全的TPN中，对它的检查总是可判定的。我们进一步证明，检查约束网和规范网的未限定行为集是否相同也是可判定的。接下来，我们将讨论更强大的情况，即带有静默转换的标签1-安全TPN。我们证明了即使仅限于具有内射标记的1-安全TPN，对鲁棒性的检查也是不可判定的，并且展示了一个子类1-安全TPNs（具有静默转换），其鲁棒性由构造保证。我们通过案例研究证明了这个子类的实用性，并证明它已经接近难以处理的边界。有关整个系列，请参见[Zbl 1251.68022号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Lect。票据计算。科学。7595，11-26（2012；Zbl 1374.68316） 全文： 内政部 哈尔