×
德奥利维拉·奥利维拉，马特乌斯

Hasse图生成器和Petri网。 （英语） Zbl 1242.68189号

Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学讲座笔记5606183-203（2009）。
总结：R.洛伦兹和G.Juhás【Lect.Notes Compute.Sci.4024302-321（2006年；兹比尔1217.68152)]提出了由Petri网生成的偏序无穷族的表示是否存在合适的形式主义的问题。将我们限制在有界（p/t）-网上，我们提出Hasse图生成器作为答案。我们证明了Hasse图生成器的表达能力足以表示任何有界（p/t）网的偏序语言。我们还证明了由给定的Hasse图生成器表示的（可能无限的）偏序族是否包含在给定的（p/t）-网的偏序语言中以及它们的交集是否为空都是可判定的。基于这个可判定性结果，我们证明了两个给定Petri网的偏序语言可以在包含方面进行有效的比较。最后，我们讨论从Hasse图生成器合成（k）-安全（p/t）-网。
有关整个系列，请参见[Zbl 1165.68011号].

MSC公司：

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

关键词：

因果关系;部分订单;并发

引文：

Zbl 1217.68152号

软件：

VIP工具
PDF格式BibTeX公司 XML格式引用
\textit{M.de Oliveira Oliveila}，莱克特。注释计算。科学。5606183--203（2009年；Zbl 1242.68189）
全文： 内政部

参考文献：

[1] Badouel，E.，Darondeau，P.：区域理论。收录：Reisig，W.，Rozenberg，G.（编辑）APN 1998。LNCS，第1491卷，第529–586页。斯普林格，海德堡（1998）·Zbl 0926.68088号 ·doi:10.1007/3-540-65306-6_22
[2] Bergenthum，R.，Desel，J.，Juhás，G.，Lorenz，R.：我可以在你的网中执行我的场景吗？viptool告诉你！收录：Donatelli，S.，Thiagarajan，P.S.（编辑）ICATPN 2006。LNCS，第4024卷，第381-390页。斯普林格，海德堡（2006）·数字对象标识代码：10.1007/11767589_21
[3] Bergenthum，R.，Desel，J.，Lorenz，R.，Mauser，S.：使用viptool从场景中合成petri网。收录人：van Hee，K.M.，Valk，R.（编辑）ICATPN 2008。LNCS，第5062卷，第388-398页。斯普林格，海德堡（2008）·数字对象标识代码：10.1007/978-3-540-68746-7_25
[4] Best，E.，Wimmel，H.：将k-安全petri网简化为pomset等价的1-安全petri网络。In:Nielsen，M.，Simpson，D.（编辑）ICATPN 2000。LNCS，第1825卷，第63-82页。斯普林格，海德堡（2000）·Zbl 0986.68090号 ·doi:10.1007/3-540-44988-46
[5] Darondeau，P.：从形式语言导出无界Petri网。收录：Sangiorgi，D.，de Simone，R.（编辑）CONCUR 1998。LNCS，第1466卷，第533–548页。斯普林格，海德堡（1998）·Zbl 0940.68097号 ·doi:10.1007/BFb0055646
[6] Darondeau，P.：基于区域的P/T网络合成及其潜在应用。In:Nielsen，M.，Simpson，D.（编辑）ICATPN 2000。LNCS，第1825卷，第16-23页。斯普林格，海德堡（2000）·Zbl 0986.68529号 ·doi:10.1007/3-540-44988-42
[7] Dilworth，R.P.：偏序集的分解定理。数学年鉴51，161-166（1950）·Zbl 0038.02003号 ·doi:10.2307/1969503
[8] Badouel，E.，Darondeau，P.：关于一般petri网的合成。技术报告PI-1061，IRISA（1996年11月）·Zbl 1101.68691号
[9] Goltz，U.，Reisig，W.：位置/转换网络的过程。收录：Díaz，J.（编辑）ICALP 1983。LNCS，第154卷，第264-277页。斯普林格，海德堡（1983）·Zbl 0523.68046号 ·doi:10.1007/BFb0036914
[10] Juhás，G.，Lorenz，R.，Desel，J.：我可以在你的网中执行我的场景吗？收录：Ciardo，G.，Darondeau，P.（编辑）ICATPN 2005。LNCS，第3536卷，第289–308页。斯普林格，海德堡（2005）·Zbl 1128.68380号 ·doi:10.1007/11494744_17
[11] Lorenz，R.、Bergenthum，R.和Desel，J.：从无限部分语言合成petri网。收录于：ACSD，第170-179页（2008年）·Zbl 1167.68037号
[12] Lorenz，R.、Bergenthum，R.，Desel，J.、Mauser，S.：从有限部分语言合成petri网。摘自：ACSD会议记录，第157-166页（2007年）·兹比尔1167.68037 ·doi:10.1109/ACSD.2007.34
[13] Lorenz，R.，Juhás，G.：从场景走向petri网合成。收录：Donatelli，S.，Thiagarajan，P.S.（编辑）ICATPN 2006。LNCS，第4024卷，第302-321页。斯普林格，海德堡（2006）·Zbl 1217.68152号 ·doi:10.1007/11767589_17
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。