×

同时Petri网综合。 (英语) 兹比尔1424.68099

摘要:Petri网综合处理的问题是,给定一个标记转移系统(TS),是否可以找到一个初始标记为(M_0)的Petri网(N),使得(N,M_0的)的可达图与(TS)同构。这之前可能会有一个预合成阶段,该阶段将快速拒绝不完善的过渡系统(并给出失败的结构性原因),否则将构建适当合成所需的数据结构。最后一个阶段是通过求解线性不等式系统来进行的,可能仍然会失败,但原因不太透明。在本文中,我们考虑一个扩展问题。如果存在具有多个初始标记的单个Petri网\(N\)(\{m_{01},\ dots,m_{0m}\),那么对于每个\(i=1,\ dots,m\),\((N,m_{0i})\)的可达性图同构于\(TS_i\),则有限的转换系统集\(\{TS_1,\ dots,TS_m\)应被称为“同时Petri网可解”。重点将放在“无选择”网上,即没有结构选择的网,我们将探讨如何将之前发布的有界和无选择Petri网的预合成和适当合成的有效算法推广到同时预合成和合成此类多标记网。同时,应通过引入新的结构检查来加强单一过渡系统的无选择预合成。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

恰当的
PDF格式BibTeX公司 XML格式引用
全文: 内政部