×
哈菲迪，Y。;德文克，E.P。

使用Petri网对基于组件的系统进行重构建模的概念构建块。 （英语） Zbl 07618120号

J.日志。阿尔盖布。方法计划。 130，文章ID 100813，16 p.（2023）.
概述：本文讨论了使用Petri网对动态可重构系统进行形式化建模。动态重新配置为系统提供了在运行时更改其组件行为的能力，而无需关闭系统。通过将协调建模语言Paradigm的概念转换为Petri网的设置，获得了基于组件的系统建模框架。然后，该框架允许在一个抽象级别上推理组件的协调，并允许在另一个抽象层次上分析重构。这种因式分解将有助于后续的正式评估。一个工人和调度员的例子，著名的餐饮哲学家，以及一个费斯托MPS案例研究都是例证。

MSC公司：

68倍 计算机科学

关键词：

协调;动态重构;Petri网;形式规范;软件体系结构设计的基础

软件：

清爽;mCRL2型;GPenSIM卡;设计/CPN;CPN/工具
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hafidi}和\textit{E.P.de Vink}，J.Log。阿尔盖布。方法程序。130，文章ID 100813，16 p.（2023；Zbl 07618120）
全文： DOI程序
OA许可证

参考文献：

[1] Petri，C.，Kommunikation mit Automaten（1962），Technische Hochschule Darmstadt，博士论文
[2] Reisig，W.，《Petri Nets:导论》，EATCS理论计算机科学专著，第4卷（1985），施普林格·Zbl 0555.68033号
[3] （Buchs，D.；Carmona，J.，《Petri网和并发的应用和理论》，第42届国际会议，Petri网应用和理论与并发，第42次国际会议，LNCS，第12734卷（2021））·Zbl 1482.68013号
[4] Valk，R.，《自我修改网，Petri网的自然延伸》（Ausiello，G.；Böhm，C.，Proc.ICALP’78）。程序。ICALP’78，LNCS，第62卷（1978年），464-476·Zbl 0415.68025号
[5] 巴杜埃尔，E。；Oliver，J.，可重构网，一类支持工作流系统内动态变化的高级Petri网（1998），INRIA，技术代表RR-3339
[6] 张杰。；M.Khalgui。；李，Z。；O.Mosbahi。；Al-Ahmari，A.，R-TNCES：可重构离散事件控制系统的新形式，IEEE Trans。系统。曼赛本。系统。，43, 4, 757-772 (2013)
[7] Ratzer，A。；威尔斯，L。；Lassen，H。；劳尔森，M。；Qvortrup，J。；斯蒂辛，M。；Westergaard，M。；Christensen，S。；Jensen，K.，用于编辑、模拟和分析有色Petri网的CPN工具，（van der Aalst，W.；Best，E.，Proc.ICATPN 2003）。程序。ICATPN 2003，计算机科学讲义，第2679卷（2003），Springer），450-462
[8] 海纳，M。；Herajy，M。；刘，F。；罗尔，C。；Schwarick，M.，《史努比：统一的Petri网工具》（Hadded，S.；Pomello，L.，Proc.Petri Nets 2012）。程序。Petri Nets 2012，《计算机科学讲义》，第7347卷（2012），Springer），398-407
[9] Davidarjuh，R。；斯科勒，B。；Krenczyk，D.，使用GPenSIM对离散事件系统进行性能评估，计算机，7，1，8（2018）
[10] Groenewegen，L。；van Kampenhout，北卡罗来纳州。；de Vink，E.，《委托建模与范式》（Jacquet，J.-M.；Picco，G.，《2005年协调程序》）。程序。《2005年协调》，LNCS，第3454卷（2005年），94-108
[11] Groenewegen，L.公司。；de Vink，E.，《进化与范式》（Evolution-on-the-fly with Paradigm），（Ciancarini，P.；Wiklicky，H.，Proc.Coordination，2006年）。程序。2006年协调，LNCS，第4038卷（2006）），97-112
[12] Stam，A.，《范式中的交互协议》（2009），莱顿大学博士论文
[13] Andova，S。；Groenewegen，L。；de Vink，E.，《范式中分布式控制的动态适应》，科学。计算。程序。，94, 333-361 (2014)
[14] Groenewegen，L。；Verschuren，J。；de Vink，E.，《用数据扩展范式》，（de Boer，F.；Bonsangue，M.；Rutten，J.，《关于协调的一切》，LNCS，第10865卷（2018）），224-244·Zbl 1461.68011号
[15] Groenewegen，L。；de Vink，E.，《范式中协调的操作语义》（Arbab，F.；Talcott，C.，Proc.coordination 2002）。程序。2002年协调，LNCS，第2315卷（2002年），191-206·Zbl 1053.68562号
[16] Clarke，D.，《协调：Reo、nets和logic》，（de Boer，F.；Bonsangue，M.；Graf，S.；de Roever，W.，FMCO 2007。程序。FMCO 2007，LNCS，第5382卷（2007）），226-256·Zbl 1209.68335号
[17] Krause，C.，《Reo连接器和Petri网的集成结构和语义》（Bonchi，F.；Grohman，D.；Spoletini，P.；Tuosto，E.，Proc.ICE 2009）。程序。ICE 2009，EPTCS，第12卷（2009）），57-69·Zbl 1454.68077号
[18] Ardeshir-Larijani，E。；Farhadi，A。；Arbab，F.，混合型Reo连接器的模拟，（RTEST 2020（2020），IEEE:IEEE德黑兰），10页。
[19] Padberg，J。；Kahloul，L.，《可重构Petri网概述》，（Heckel，R.；Täntzer，G.，《图形变换、规范和网络》，《图形转换、规范和网格》，LNCS，第10800卷（2018）），201-222·Zbl 1383.68056号
[20] 哈菲迪，Y。；Kahloul，L。；M.Khalgui。；李，Z。；Alnowibet，K。；Qu，T.，关于可重构定时网络条件/事件系统的验证方法，IEEE Trans。系统。曼赛本。系统。，50, 10, 3577-3591 (2018)
[21] 邦特，O。；Groote，J。；凯伦，J。；Laveaux，M。；尼尔，T。；德文克，E。；Wijs，A。；Wesselink，J。；Willemse，T.，《用于分析并发系统的mCRL2工具集》（Vojnar，T.；Zhang，L.，Proc.TACAS 2019）。程序。TACAS 2019，LNCS，第11428卷（2019）），21-39
[22] 罗马人，R。；Holubek，R。；扬切克，M。；韦利舍克，K。；Tirian，O.，《FESTO教学系统mps 203 i4.0中工业4.0关键要素和技术实施分析》，J.Phys。Conf.序列号。，1781年，第012030条pp.（2021）
[23] 苏，Z。；邱，M.，基于时间有色Petri网的机场地面建模与仿真，Promet Traffic Transport。，31, 5, 479-490 (2019)
[24] 弧菌素，N。；肾功能不全，V。；Stenenko，A.，《彩色Petri网在验证UCM符号中的场景控制结构中的应用》，Autom。控制计算。科学。，51, 7, 489-497 (2017)
[25] Andova，S。；Groenewegen，L。；de Vink，E.，《餐饮哲学家的分布式适应》（Barbosa，L.；Lumpe，M.，Proc.FACS 2010）。程序。FACS 2010，吉马里亚斯。程序。FACS 2010。程序。FACS 2010，吉马里亚斯，LNCS，第6921卷（2012）），125-144
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。