×
伊琳娜·洛马佐娃（Irina A.Lomazova）。;弗拉基米尔·巴什金。;彼得·扬查尔

Petri网中的资源相似性是可判定的。 （英语） 兹伯利07597932

芬丹。通知。 186，编号1-4175-194（2022）.
摘要：Petri网是一种用于建模和分析分布式系统的流行形式。Petri网模型中的令牌可以表示控制流状态或转换触发产生/消耗的资源。我们将资源定义为Petri网标记的一部分（子多重集），当在任何标记中用另一个资源替换其中一个资源时，我们将两个资源称为等价资源，但这不会改变可观察的Petri网行为。我们考虑了资源相似性和资源互相似性，这是互模拟等价对Petri网标记的两个一致限制。以前已经证明资源相似性（互模拟等价中包含的最大同余）是不可判定的。在这里，我们提出了一种检查资源互相似性的算法，从而证明了这种关系（互模拟等价中包含的最大同余，即互模拟）是可判定的。我们还举了一个Petri网中两个资源相似但不相似的例子。

引用于1文件

MSC公司：

68倍 计算机科学

关键词：

标记Petri网;互模拟;同余;可判定性;资源相似性
PDF格式BibTeX公司 XML格式引用
\textit｛I.A.Lomazova｝等人，基金会。通知。186，编号1--4，175-194（2022；Zbl 07597932）
全文： 内政部 arXiv公司

参考文献：

[1] 如果EQLEV（r，s）=k∈N+（因此r k s，r k+1 s，k≥1），则每次对N应用EXPAND都会产生至少一个子N，该子N用一些（r，s）标记，其中
[2] van Glabbeek R.线性时间分支时间谱。摘自：Bergstra J，Ponse A，Smolka S（编辑），《过程代数手册》，第3-99页。Elsevier Science，阿姆斯特丹。国际标准图书编号：978-0-444-82830-92001。doi:10.1016/B978-044482830-9/50019-9·兹比尔1035.68073 ·doi:10.1016/B978-044482830-9/50019-9
[3] Park D.无限序列上的并发性和自动机。摘自：Deussen P（编辑），《理论计算机科学》。施普林格-柏林-海德堡出版社，柏林，海德堡，1981年，第167-183页。国际标准图书编号：978-3-540-38561-5·Zbl 0457.68049号
[4] Milner R.沟通与并发。Prentice-Hall，Inc.，美国，1989年。国际标准图书编号：0131150073·Zbl 0683.68008号
[5] Jančar P.Petri网二相似性的不可解性及一些相关问题。西奥。计算。科学。，1995. 148(2):281-301. doi:10.1016/0304-3975（95）00037-W·Zbl 0873.68147号 ·doi:10.1016/0304-3975（95）00037-W。
[6] Mayr R.过程重写系统。信息与计算，2000年。156(1):264 -286. doi:10.1006/inco.1999.2826·Zbl 1046.68566号 ·doi:10.1006/inco.1999.2826
[7] Christensen S，Hirshfeld Y，Moller F.基本并行过程的互模拟等价性是可判定的。收录：Best E（编辑），CONCUR’93。施普林格-柏林-海德堡出版社，柏林，海德堡，1993年，第143-157页。国际标准图书编号：978-3-540-47968-0。
[8] Jančar P.基本并行过程的双相似性。西奥。计算。科学。，2022. 903:26-38. doi:10.1016/j.tcs.2021.11.027·Zbl 07467467号 ·doi:10.1016/j.tcs.2021.11.027
[9] Baldan P、Bonchi F、Gadducci F、Monreale GV。使用开放Petri网对同步和异步交互进行模块化编码。《计算机程序设计科学》，2015年。doi:10.1016/j.scico.2014。11.019. ·doi:10.1016/j.scico.2014.11.019
[10] Heckel R.开放petri网作为工作流集成的语义模型。计算机科学课堂讲稿（包括人工智能子系列课堂讲稿和生物信息学课堂讲稿），2003年。doi:10.1007/978-3-540-40022-614·Zbl 1283.90022号 ·doi:10.1007/978-3-540-40022-614
[11] Dong X，Fu Y，Varacca D。开放petri网的位置互模拟和活性。收录：计算机科学课堂讲稿（包括人工智能课堂讲稿和生物信息学课堂讲稿）。ISBN:9783319476766，2016年doi:10.1007/978-3-319-47677-3 1·Zbl 1393.68113号 ·doi:10.1007/978-3-319-47677-31
[12] Lomazova IA，Romanov IV。通过资源一致性分析服务的兼容性。收录：Funda-menta Informaticae。2013年doi:10.3233/FI-2013-937·Zbl 1285.68015号 ·doi:10.3233/FI-2013-937
[13] Bashkin VA，Lomazova IA。具有无限资源的工作流网络的k-稳健性的决定。收录：计算机科学课堂讲稿（包括人工智能子系列课堂讲稿和生物信息学课堂讲稿）。国际标准书号：97836624572902014 doi:10.1007/978-3-662-45730-6 1·Zbl 1428.68195号 ·doi:10.1007/978-3-662-45730-61
[14] Sidorova N，Stahl C.资源约束工作流网络的稳健性是可判定的。IEEE系统、人与控制论事务A部分：系统与人，2013年。doi:10.1109/TSMCA.2012。2210415. ·doi:10.1109/TSMCA.2012.2210415
[15] 吉拉德·JY。线性逻辑。理论计算机科学，1987年。doi:10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[16] Farwer B.对象Petri网的线性逻辑视图。《基础信息》，1999年。doi:10.3233/fi-1999-37303。
[17] Farwer B，Lomazova I.一种基于对象的petri网形式化的系统方法。收录：计算机科学课堂讲稿（包括人工智能子系列课堂讲稿和生物信息学课堂讲稿）。ISBN:354043075X，2001年doi:10.1007/3-540-45575-2 26·Zbl 1073.68692号 ·doi:10.1007/3-540-45575-226
[18] Olderog ER。网络上的强相似性：一个比较网络语义的新概念。收录：de Bakker JW，de Roever WP，Rozenberg G（eds.），《逻辑与并发模型中的线性时间、分支时间和偏序》。施普林格-柏林-海德堡出版社，柏林，海德堡，1989年，第549-573页。国际标准图书编号：978-3-540-46147-0·Zbl 0683.68001号
[19] Autant C、Belmesk Z、Schnoebelen P.《重温网络上的强相似性》。收录：Aarts EHL，van Leeuwen J，Rem M（编辑），Parle’91 Parallel Architectures and Languages Europe。施普林格-柏林-海德堡出版社，柏林，海德堡，1991年，第717-734页。国际标准图书编号：978-3-662-25209-3。
[20] Autant C，Schnoebelen P.在Petri网中放置互模拟，第45-61页。施普林格-柏林-海德堡，柏林，海德堡。ISBN:978-3-540-47270-41992。doi:10.1007/3-540-55676-13·doi:10.1007/3-540-55676-13
[21] Autant C，Pfister W，Schnoebelen P.用无声移动对标记Petri网的减少进行双模拟。In：程序。第六届计算机与信息国际会议，加拿大彼得堡。1994 .
[22] Quivrin-Pfister W.Des bisimulations de places pour la résaux de Petri博士论文，法国格勒诺布尔国家研究所，1995年。
[23] Schnoebelen P，Sidorova N.Petri网的双向模拟和简化，第409-423页。施普林格柏林海德堡，柏林，海德堡。国际标准图书编号：978-3-540-44988-1，2000。doi:10.1007/3-540-44988-423·Zbl 0986.68074号 ·doi:10.1007/3-540-44988-423
[24] Voorhoeve M.结构Petri网等价。技术报告9607，埃因霍温理工大学，1996年。
[25] Gorrieri R.团队BPP网络的双相似性及其相关模态逻辑。《信息学报》，2020年。第1-41页。
[26] Gorrieri R.BPP网络团队互模拟研究。在：Janicki R，Sidorova N，Chatain T（编辑），Petri网和并发的应用和理论。Springer International Publishing，Cham，2020年，第153-175页。国际标准图书编号：978-3-030-51831-8·Zbl 1493.68015号
[27] Bashkin VA，Lomazova IA。Petri网和资源互模拟。《信息学基础》，2003年。55(2):101-114. ·Zbl 1111.68531号
[28] Corradini F，De Nicola R，Labela A.非确定性正则表达式模型。《计算机与系统科学杂志》，1999年。59(3):412 -449. doi:10.1006/jcss.1999.1636·Zbl 0958.68090号 ·doi:10.1006/jcss.1999.1636
[29] Bashkin VA，Lomazova IA。分布式系统Petri网模型中的资源相似性，第35-48页。施普林格-柏林-海德堡，柏林，海德堡。ISBN:978-3-540-45145-72003。doi:10.1007/978-3-540-45145-74。
[30] Bashkin VA，Lomazova IA。Petri网中广义资源的相似性，第27-41页。施普林格-柏林-海德堡，柏林，海德堡。国际标准图书编号：978-3-540-31826-2。doi:10.1007/11535294 3·doi:10.1007/115352943
[31] Lomazova IA。Petri网中的资源等价性。In：van der Aalst W，Best E（编辑），Petri网与并发的应用与理论。施普林格国际出版公司，Cham，2017年，第19-34页。国际标准图书编号：978-3-319-57861-3·Zbl 1365.68011号
[32] Aceto L，Ingolfsdottir A，Srba J.双相似性算法。In：共刺激和共诱导的高级主题。2011年，doi:10.1017/cbo9780511792588.004·Zbl 1285.68101号 ·doi:10.1017/cbo9780511792588.004
[33] Hennessy M，Milner R.不确定性和并发性代数定律。J.ACM，1985年。32(1):137-161. doi:10.1145/2455.2460·Zbl 0629.68021号 ·doi:10.1145/2455.2460
[34] 过程代数中的可判定性和分解。英国爱丁堡大学博士论文，1993年。统一资源定位地址http://hdl.handle.net/1842/410。
[35] Rédei L.有限生成交换半群的理论。牛津大学出版社，纽约，1965年·Zbl 0133.27904号
[36] 交换半群中的Hirshfeld Y.同余。技术报告ECS-LFCS-94-291，爱丁堡大学计算机科学系，1994年。
[37] Bashkin VA，Lomazova IA。基于资源互模拟的有色Petri网约简。NCC和IIS联合公报（Comp.Science），2000年。13:12-17.
[38] 简单过程代数的强双相似性：复杂性下限。《信息学报》，2003年。39(6-7):469-499. doi:10.1007/s00236-003-0116-9·Zbl 1060.68081号 ·doi:10.1007/s00236-003-0116-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。