约泽夫·温科夫斯基 上下文网络中的可达性。 (英语) Zbl 1003.68106号 芬丹。通知。 51,编号1-2,235-250(2002). 摘要:上下文网或带读弧的Petri网是具有上下文相关操作的并发系统模型。这类网络中的可达性问题在于找到从给定上下文网络的初始标记到给定目标标记的一系列转换。本文提出的这个问题的解决方案是构造给定上下文网络展开的有限完整前缀,即有限前缀,其中存在从初始标记可以到达的所有标记,并通过求解适当的线性规划问题,在该前缀的每个分支中搜索目标标记。 引用于7文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 90C05(二氧化碳) 线性规划 关键词:上下文网络;Petri网;并发系统 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},芬丹。通知。51,编号1--2,235-250(2002;Zbl 1003.68106)