On the Step Branching Time Closure of Free-Choice Petri Nets
On the Step Branching Time Closure of Free-Choice Petri Nets
复制标题
自由选择Petri网的步骤分支时间收敛
DOI：
10.1007/978-3-662-43613-4_15
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Ursula Goltz
中科院分区：
文献类型：
--
作者：
Stephan Mennicke;Jens-Wolfhard Schicke-Uffmann;Ursula Goltz
自由选择Petri网是Petri网的一个重要子类，具有简单性和可分析性。对自由选择网的扩展进行了研究，并证明可以翻译回交错等效的自由选择网。本文研究了将自由选择Petri网扩展到阶跃分支时间等价的问题。对于扩展的自由选择网络，我们通过证明一个已有的结构符合弱阶双模拟等价，得到了等价结果的推广。已知的行为自由选择的转换不尊重阶跃分支时间等价，这是所有从该网络类转换为（扩展的）自由选择Petri网的转换函数的固有属性。通过对关键结构的分析，我们找到了两个步长分支时间等价于自由选择网络的行为自由选择网络子集。最后，我们讨论了自由选择Petri网的实际闭包，直到阶跃分支时间等价。
Free-choice Petri nets constitute a non-trivial subclass of Petri nets, excelling in simplicity as well as in analyzability. Extensions of free-choice nets have been investigated and shown to be translatable back to interleaving-equivalent free-choice nets. In this paper, we investigate extensions of free-choice Petri nets up to step branching time equivalences. For extended free-choice nets, we achieve a generalization of the equivalence result by showing that an existing construction respects weak step bisimulation equivalence. The known translation for behavioral free-choice does not respect step branching time equivalences, which turns out to be a property inherent to all transformation functions from this net class into (extended) free-choice Petri nets. By analyzing the critical structures, we find two subsets of behavioral free-choice nets that are step branching time equivalent to free-choice nets. Finally, we provide a discussion concerning the actual closure of free-choice Petri nets up to step branching time equivalences.
登录
查看更多内容
Petri 网的确定性语言
DOI：
--
发表时间：
1980
期刊：
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
影响因子：
--
作者：
G. Vidal
通讯作者：
G. Vidal
2008 年计算机科学数学基础，第 33 届国际研讨会，MFCS 2008，波兰托伦，2008 年 8 月 25-29 日，论文集
DOI：
--
发表时间：
2008
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
E. Ochmanski;Jerzy Tyszkiewicz
通讯作者：
Jerzy Tyszkiewicz
关于表征可分配性
DOI：
10.2168/lmcs-9(3:17)2013
发表时间：
2013
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Rob J. van Glabbeek;Ursula Goltz;Jens-Wolfhard Schicke-Uffmann
通讯作者：
Jens-Wolfhard Schicke-Uffmann
DOI：
10.1007/3-540-12727-5_7
发表时间：
1983-03
期刊：
--
影响因子：
--
作者：
E. Best;M. W. Shields
通讯作者：
E. Best;M. W. Shields
DOI：
--
发表时间：
2008
期刊：
ICE@ICALP
影响因子：
--
作者：
R. V. Glabbeek;U. Goltz;Jens
通讯作者：
Jens