×
最好的，艾克;托马斯·胡贾萨;哈罗·威梅尔

标记转移系统标记图可实现的充分条件。 （英语） Zbl 1473.68112号

西奥。计算。科学。 750, 101-116 (2018).
让一个系统由一个持久的Petri网来描述（一旦两个不同的标签都启用了，两个标签都不能禁用另一个，并且以任何顺序执行这两个标签会导致相同的状态），该Petri网是普通的（没有多条边）、有界的（每个地方都有限制数量的标记）、可逆的（初始状态总是可以到达的），并且具有带有\（k\geq2\）的初始\（k\）标记（每个地方的令牌数除以\（k\））。证明了存在一个具有同构状态空间的标记图Petri网（每个地方正好有一条传入边和一条传出弧）。让一个系统用一个持久化Petri网来描述，它是简单的、安全的（每个地方最多有一个标记）、可逆的，并且在其可达图中有一个包含每个转换一次的循环。证明了存在一个具有同构状态空间的标记图Petri网。
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）

引用于三文件

MSC公司：

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

关键词：

合成;标记过渡系统;Petri网;可实现性;标记图
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}等人，Theor。计算。科学。750、101-116（2018；Zbl 1473.68112）
全文： 内政部 哈尔

参考文献：

[1] van der Aalst，W.，《业务流程管理：综合调查》，ISRN Softw。工程，2013，1-37，（2013）
[2] 范德阿尔斯特，W。；van Hee，K。；ter Hofstede，A。；Sidorova，N。；Verbeek，H。；沃霍夫，M。；Wynn，M.，工作流网络的健全性：分类、可决策性和分析，Form.Asp。计算。，3, 23, 333-363, (2011) ·Zbl 1225.68129号
[3] van Hee，K。；Sidorova，N。；Voorhove，M.，《逐步细化方法中工作流网络的健全性和可分性》，（van der Aalst，B.，ICATPN’2003，《计算科学讲义》，第2679卷，（2003），Springer-Verlag），337-356·Zbl 1274.68263号
[4] Rushby，J.，可分性的证明-一类安全内核的验证技术，（Dezani Ciancaglini，M.；Montanari，U.，第五届国际编程研讨会，Comput.Sci.讲义，第137卷，（1982），Springer Verlag），352-367·Zbl 0482.68029号
[5] Landweber，L。；Robertson，E.，无冲突和持久Petri网的性质，J.ACM，25，3，352-364，（1978）·Zbl 0384.68062号
[6] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，4，541-580，（1989）
[7] W.Reisig，Petri网，EATCS理论计算机科学专著4。；W.Reisig，Petri网，EATCS理论计算机科学专著4·Zbl 0626.68030号
[8] 贝斯特，E。；Darondeau，P.，《持久性Petri网的可分性》，基金会。通知。，113, 3-4, 179-203, (2011) ·Zbl 1238.68094号
[9] 贝斯特，E。；埃斯帕尔扎，J。；Wimmel，H。；Wolf，K.，《无冲突Petri网的可分性》，（《系统信息学的观点》，第六届国际安德烈·埃尔肖夫纪念会议，PSI 2006，俄罗斯新西伯利亚，2006年6月27日至30日，（2006）），1-18，修订论文，2006·Zbl 1185.68438号
[10] Commoner，F。；霍尔特，A。；甚至，S。；Pnueli，A.，标记有向图，J.Compute。系统科学。，5, 5, 511-523, (1971) ·Zbl 0238.05109号
[11] 克雷斯皮·雷吉齐，S。；Mandrioli，D.，一类向量加法系统的可判定性定理，Inform。过程。莱特。，3, 3, 78-80, (1975) ·Zbl 0302.68065号
[12] 巴杜埃尔，E。；Bernardinello，L。；Darondeau，P.，Petri Net Synthesis，（2015），斯普林格·弗拉格·Zbl 1351.68003号
[13] 贝斯特，E。；Devillers，R.，标记图Petri网状态空间的特征，Inform。和计算。，253, 399-410, (2017) ·兹比尔1409.68183
[14] 贝斯特，E。；Darondeau，P.，有限持久转移系统的分解定理，信息学报。，46, 3, 237-254, (2009) ·Zbl 1166.68029号
[15] Keller，R.，异步并行计算的基本定理，（Sagamore Computer Conference，《计算科学讲义》，第24卷，（1974），Springer-Verlag），102-112·Zbl 0301.68063号
[16] Lothaire，M.，《单词组合数学》，剑桥数学。自由。，第17卷，（1997），剑桥大学出版社·Zbl 0874.20040
[17] 戴塞尔，J。；Esparza，J.，自由选择Petri Nets，剑桥拖拉机理论。计算。科学。，第40卷，（1995），剑桥大学出版社：美国纽约剑桥大学出版社·Zbl 0836.68074号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。