艾沙·艾哈迈德;马西耶·库特尼;Marta Pietkiewicz-Koutny 合成具有位置的基本网络系统。 (英语) 兹比尔1533.68186 理论。计算。科学。 908, 123-140 (2022). 摘要:具有位置的基本网络系统(ENL公司-系统)是引入的一类Petri网,用于对全局异步本地同步系统进行建模(女孩),其中一些组件可以被视为逻辑上或物理上接近并同步运行,而其他组件可以被认为是松散连接或驻留在遥远的位置并与系统的其余部分异步通信。行为规范GALS公司系统经常以过渡系统的形式出现。基于过渡系统区域的自动综合是一种允许根据过渡系统规范构建Petri网模型的方法。在本文中,我们专注于开发算法和工具支持,以综合ENL公司-转换系统中的系统,其中转换由执行的操作的步骤(集)进行标记。我们特别关注ENL公司-具有局部冲突的系统,属于不同位置的事件之间没有冲突。算法在手工艺品框架。 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(过程代数、互模拟、转换网等) 2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等) 关键词:并发理论;GALS系统;膜系统;Petri网;地区;步骤序列语义;区域理论;过渡系统;工艺框架 软件:正式舞会;基因;工艺品;石化;红矿工;VIP工具 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人,Theor。计算。科学。908123-140(2022年;Zbl 1533.68186) 全文: 内政部 OA许可证 参考文献: [1] 达斯古普塔,S。;Potop-Butucaru,D。;凯劳德,B。;雅科夫列夫,A.,《从弱内时系统到延迟敏感电路的发展》,《电子》。注释Theor。计算。科学。,146, 2, 81-103 (2006) [2] 阿曼,B。;Ciobanu,G.,《过程计算和自然计算中的移动性》,《自然计算系列》(2011年),施普林格出版社·Zbl 1238.68005号 [3] (Ciobanu,G.;Pérez-Jiménez,M.J.;Paun,G.,《膜计算的应用》,《自然计算系列》(2006),施普林格出版社) [4] 乔巴努,G。;Pinna,G.M.,《与膜系统相关的记忆》,J.Membr。计算。,3, 2, 116-132 (2021) ·Zbl 1469.68030号 [5] Paun,G.,《膜计算》,J.Compute。系统。科学。,61, 1, 108-143 (2000) ·Zbl 0956.68055号 [6] Paun,G.,《膜计算:导论》,自然计算系列(2002),Springer·Zbl 1034.68037号 [7] Paun,G。;Rozenberg,G.,《膜计算指南》,Theor。计算。科学。,287, 1, 73-100 (2002) ·Zbl 1061.68054号 [8] Paun,G。;罗岑贝格,G。;Salomaa,A.,《牛津膜计算手册》(2010),牛津大学出版社:美国牛津大学出版社·Zbl 1237.68001号 [9] Kleijn,J。;库特尼,M。;Rozenberg,G.,《迈向膜系统的petri网语义》,(Freund,R.;Paun,G;Rozenbeg,G..;Salomaa,a.,WMC 2005。WMC 2005,计算机科学讲义,第3850卷(2005),施普林格),292-309·Zbl 1135.68417号 [10] 库特尼,M。;Pietkiewicz-Koutny,M.,《具有位置的基本网络系统的过渡系统》(Baier,C.;Hermanns,H.,CONCUR 2006)。CONCUR 2006,计算机科学讲稿,第4137卷(2006),Springer),173-187·Zbl 1151.68538号 [11] Alhazov,A.,没有符号对象多重性的P系统,Inf.过程。莱特。,100, 3, 124-129 (2006) ·Zbl 1185.68377号 [12] 埃伦菲赫特,A。;Rozenberg,G.,《部分(集)2-结构》。第二部分:并发系统的状态空间。,27, 4, 343-368 (1990) ·Zbl 0696.68083号 [13] 埃利桑那州巴杜埃尔。;Bernardinello,L。;Darondeau,P.,初等网络系统的综合问题是np-complete,Theor。计算。科学。,186, 1-2, 107-134 (1997) ·Zbl 0893.68111号 [14] 埃利桑那州巴杜埃尔。;Darondeau,P.,区域理论,(Reisig,W.;Rozenberg,G.,《Petri网讲座I:基本模型》,Petri网进展。Petri网演讲I:基本模式。Petri网络进展,计算机科学讲稿,第1491卷(1996),Springer),529-586·Zbl 0926.68088号 [15] Bernardinello,L.,《网络系统的合成》(Marsan,M.A.,PETRI NETS 1993)。PETRI NETS 1993,《计算机科学讲义》,第691卷(1993年),施普林格出版社,第89-105页 [16] Bernardinello,L。;米其林,G.D。;彼得鲁尼,K。;Vigna,S.,《关于过渡系统的同步结构》(Desel,J.,STRICT 1995,计算机研讨会(1995),Springer),69-84 [17] Mukund,M.,Petri网和阶跃转换系统,国际期刊Found。计算。科学。,3, 4, 443-478 (1992) ·Zbl 0774.68086号 [18] 尼尔森,M。;罗岑贝格,G。;Thiagarajan,P.S.,《基本过渡系统》,Theor。计算。科学。,96, 1, 3-33 (1992) ·Zbl 0759.68022号 [19] Pietkiewicz-Koutny,M.,带抑制弧的基本网络系统的综合问题,Fundam。通知。,40, 2-3, 251-283 (1999) ·Zbl 0942.68083号 [20] 埃利桑那州巴杜埃尔。;Bernardinello,L。;Darondeau,P.,Petri网综合,理论计算机科学文本。EATCS系列(2015),施普林格·Zbl 1351.68003号 [21] 库特尼,M。;Pietkiewicz-Koutny,M.,《具有上下文弧和位置的基本网络系统的合成》,Fundam。通知。,88, 3, 307-328 (2008) ·Zbl 1154.68089号 [22] 库特尼,M。;Pietkiewicz-Koutny,M.,带局部petri网的合成,科学。Ann.计算机。科学。,19, 1-23 (2009) ·Zbl 1424.68107号 [23] 库特尼,M。;Pietkiewicz-Koutny,M.,enl-transition系统的最小区域,Fundam。通知。,101, 1-2, 45-58 (2010) ·Zbl 1213.68406号 [24] 波利亚科夫,I。;Khomenko,V。;Yakovlev,A.,《Workcraft-解释图模型的框架》(Franceschinis,G.;Wolf,K.,PETRI NETS 2009)。PETRI NETS 2009,《计算机科学讲义》,第5606卷(2009年),施普林格出版社,333-342 [25] 工艺品(2018) [26] 科尔塔德拉,J。;Kishinevsky,M。;Kondratyev,A。;拉瓦尼奥,L。;Yakovlev,A.,《Petrify:操作并发规范和异步控制器合成的工具》,IEICE Trans。信息系统。,E80-D,3,315-325(1997) [27] Kishinevsky,M。;Kondratyev,A。;陶宾,A。;Varshavsky,V.,《并行硬件:自时设计的理论与实践》,Wiley Series in Parallel Computing(1994),John Wiley&Sons,Inc.:John Willey&Sons公司,纽约·Zbl 0786.94023号 [28] 科尔塔德拉,J。;Kishinevsky,M。;Kondratyev,A。;拉瓦尼奥,L。;Yakovlev,A.,异步控制器和接口的逻辑综合(2002),Springer-Verlag·Zbl 1013.68273号 [29] Bergenthum,R。;戴塞尔,J。;罗伦茨(Lorenz,R.)。;Mauser,S.,《用viptool从场景合成petri网》,(van Hee,K.M.;Valk,R.,petri nets 2008。PETRI NETS 2008,计算机科学讲稿,第5062卷(2008),施普林格),388-398 [30] 范德阿尔斯特,W.M.P。;van Dongen,B.F。;Günther,C.W。;Rozinat,A。;韦贝克,E。;Weijters Prom,T.,流程挖掘工具包,(de Medeiros,A.K.A.;Weber,B.,BPMDemos 2009)。BPMDemos 2009,CEUR研讨会论文集,第489卷(2009),CEUR-WS.org) [31] Carmona,J。;科尔塔德拉,J。;Kishinevsky Genet,M.,用于合成和挖掘petri网的工具,(ACSD 2009(2009),IEEE计算机学会),181-185 [32] Solé,M。;Carmona,J.,Rbminer:从转换系统中发现petri网的工具(Bouajjani,a.;Chin,W.,ATVA 2010)。ATVA 2010,计算机科学讲义,第6252卷(2010),Springer),396-402 [33] 埃利桑那州巴杜埃尔。;凯劳德,B。;Darondeau,P.,通过petri网合成分配有限自动机,Form.Asp。计算。,13, 6, 447-470 (2002) ·Zbl 1017.68062号 [34] 艾哈迈德。;Pietkiewicz-Koutny,M.,《带位置的基本网络系统合成算法》,(Köhler-Bußmeier,M.;Kindler,E.;Rölke,H.,PNSE 2020。PNSE 2020,CEUR研讨会论文集,第2651卷(2020),CEUR-WS.org),86-107 [35] Lodaya,K。;R·帕里赫。;拉马努贾姆,R。;Thiagarajan,P.S.,《分布式过渡系统的逻辑研究》,Inf.Compute。,119, 1, 91-118 (1995) ·Zbl 0832.68075号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。