×

加权标记图Petri网的分析与综合:精确和近似方法。 (英语) Zbl 1436.68210号

概要:许多现实世界的系统都可以用Petri网建模,它允许并发与同步和冲突的结合。为了减轻检查它们行为的困难,一种常见的方法是研究特定的子类。在Petri网综合的逆问题中,必须根据给定的规范,通常根据描述所需网络行为的标记转换系统(lts),有效地构建某个子类的Petri网。
在这篇文章中,我们关注持久Petri网的一个臭名昭著的子类,即加权标记图(WMG),也称为广义(或加权)事件(或标记)图或加权T网。在这种网络中,边具有多重性(权重),每个位置最多有一个输入和一个输出过渡。虽然在以前的工作中进行了广泛的研究,并从大量的结果中受益,但它们的分析和合成都可以进一步研究。
我们提供了WMG在可达图上表示的新的行为特性,特别是在共享相同起始状态和相同目的状态的任意两个序列之间的向后持久性和强相似性。此外,我们针对WMG类设计了一个通用的综合过程。最后,当综合问题不存在解时,即当给定的lts不可解时,我们展示了如何构造一个WMG,其可达图是给定lts的最小过逼近。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部