×
乌尔里克·普兰奇;哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格

可重构场所/过渡系统的改造。 （英语） Zbl 1144.68043号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506596-113（2008）。
概要：可重构位置/转换系统是具有初始标记和一组规则的Petri网，允许在运行时修改网络，以使网络适应新的需求。为了在双重推出方法中实现Petri网的转换，将粘性高层替换系统的范畴框架实例化为Petri网。在本文中，我们还证明了位置/过渡系统也形成了弱粘合高级替换类别。这使我们能够将已开发的理论应用于可重构位置/过渡系统中的变换。
关于整个系列，请参见[Zbl 1137.68003号].

引用于4文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
\textit{U.Prange}等人，Lect。注释计算。科学。506596-113（2008年；Zbl 1144.68043）
全文： 内政部

参考文献：

[1] 梅塞盖尔，J。；Montanari，U.，Petri网是单体，信息与计算，88，2，105-155（1990）·Zbl 0711.68077号 ·doi:10.1016/0890-5401（90）90013-8
[2] 霍夫曼，K。；Ehrig，H。；Mossakowski，T。；Ciardo，G。；Darondeau，P.，以网络和规则为标记的高级网络，Petri网的应用和理论，2005，268-288（2005），海德堡：施普林格·Zbl 1128.68063号
[3] Ehrig，H。；霍夫曼，K。；Padberg，J。；Prange，U。；埃梅尔，C。；Kleijn，J。；Yakovlev，A.，《可重构位置/转换系统、Petri网和其他并发模型中网络转换和令牌触发的独立性——ICATPN 2007，104-123（2007）》，海德堡：斯普林格，海德伯格·Zbl 1226.68052号 ·doi:10.1007/978-3-540-73094-19
[4] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），海德堡：施普林格出版社·Zbl 1095.68047号
[5] Ehrig，H。；哈贝尔，A。；Padberg，J。；Prange，U.，《粘性高层替换系统：图形转换的新分类框架》，《基础信息学》，74，1，1-29（2006）·兹比尔1106.68056
[6] Rozenberg，G.，《图形语法和图形转换计算手册：基础》（1997），新加坡：世界科学出版社，新加坡·Zbl 0908.68095号
[7] Lack，S。；Sobocinnski，P.，《粘合剂和准粘合剂类别，理论信息学和应用》，39，3，511-546（2005）·兹比尔1078.18010 ·doi:10.1051/ita:2005028
[8] Prange，U.，代数高级网作为弱粘合HLR类别，EASST的电子通信，2，1-13（2007）
[9] Reisig，W.，Petri Nets（1985），柏林：施普林格，柏林·Zbl 0555.68033号
[10] 尼尔森，M。；Rozenberg，G。；Thiagarajan，P.S.，《基本转换系统》，理论计算机科学，96，1，3-33（1992）·Zbl 0759.68022号 ·doi:10.1016/0304-3975（92）90180-N
[11] Ehrig，H。；Ng，E.W。；Ehrig，H。；Rozenberg，G.，图语法代数理论导论（综述），图语法及其在计算机科学和生物学中的应用，1-69（1979），海德堡：斯普林格·Zbl 0407.68072号 ·doi:10.1007/BFb0025714
[12] Billington，J.，彩色Petri网的扩展，PNPM会议记录1989，61-70（1989），洛斯阿拉米托斯：IEEE，洛斯阿拉米托斯
[13] 坎波斯，J。；桑切斯，B。；Silva，M.，《Markovian Petri网的吞吐量下限：转换技术》，《PNPM学报》1991，322-331（1991），洛斯·阿拉米托斯：IEEE，洛斯·拉米托斯
[14] Urbášek，M.：Petri网技术的分类网转换。柏林大学博士论文（2003）·Zbl 1169.68555号
[15] Belli，F.，Dreyer，J.：通过谓词/转换网络和逻辑编程进行系统建模和仿真。摘自：IEA/AIE 1994年会议记录，第465-474页（1994）
[16] 贝西，T。；Becker，M.，《流体随机Petri网（FSPN）和混合Petri网建模能力的比较》，《SMC会议论文集2002》，354-358（2002），洛斯阿拉米托斯：IEEE，洛斯阿米托斯
[17] de Lara，J。；Vangheluwe，H。；Corradini，A。；Ehrig，H。；Kreowski，H.-J。；Rozenberg，G.，《过程Petri网和状态图的计算机辅助多参数建模》，图变换，239-253（2002），海德堡：斯普林格，海德伯格·Zbl 1028.68090号 ·doi:10.1007/3-540-45832-8_19
[18] 克鲁格，O。；Ehrig，H。；Reisig，W。；Rozenberg，G。；Weber，H.，用消息序列图和Petri网建模铁路道口，基于通信系统的Petri网技术，197-218（2003），海德堡：斯普林格·Zbl 1283.68249号
[19] 平价，F。；Ehrig，H。；Reisig，W。；Rozenberg，G。；Weber，H.，Petri网类转换的形式化框架，基于通信的系统的Petri网技术，409-430（2003），海德堡：施普林格，海德堡·Zbl 1283.68252号
[20] 科尔特斯，L。；埃利斯，P。；Peng，Z.，基于Petri网表示的嵌入式系统建模和形式化验证，系统体系结构杂志，49，12-15，571-598（2003）·doi:10.1016/S1383-7621（03）00096-1
[21] 哈达德，S。；Rozenberg，G.，《有色网络的约简理论》，Petri网进展1989，209-235（1990），海德堡：Springer，Heidelberg
[22] 戴塞尔，J。；Rozenberg，G.，《论网络的抽象，Petri网的进展》，1991，78-92（1991），海德堡：施普林格，海德伯格·doi:10.1007/BFb0019970
[23] 埃斯帕尔扎，J。；Silva，M。；Rozenberg，G.，《关于自由选择系统的分析和综合》，《Petri网的进展》，1990年，243-286（1991），海德堡：斯普林格
[24] Chehaibar，G。；Rozenberg，G.，《开放接口子网的替换和稳定状态转换等价性》，Petri网进展1993，1-25（1993），海德堡：斯普林格，海德伯格
[25] P.邦霍姆。；Aygalinc，P。；Berthelot，G。；Calvez，S.，《通过变换对时间Petri网进行分层控制》，SMC 2002年会议记录，6-11（2002），洛斯阿拉米托斯：IEEE计算机社会出版社，洛斯阿米托斯
[26] Bertelot，G.（贝尔特洛，G.）。；Rozenberg，G.，使用转换检查网络的属性，Petri网进展1985，19-40（1986），海德堡：Springer，Heidelberg·Zbl 0606.68055号 ·doi:10.1007/BFb0016204
[27] Berthelot，G。；布劳尔，W。；Reisig，W。；Rozenberg，G.，网络的转换和分解，Petri网的进展，1986。《高级课程论文集》，Bad Honnef，8.-19。1986年9月，359-376（1987），海德堡：施普林格·Zbl 0634.68061号
[28] 贝斯特，E。；泰尔克，T。；阿泽马，P。；Balbo，G.，有色Petri网的正交变换，Petri网应用与理论，1997，447-466（1997），海德堡：施普林格·Zbl 1510.68051号
[29] Murata，T.，《Petri网：属性、分析和应用》，IEEE学报，541-580（1989），洛斯阿拉米托斯：IEEE计算机社会出版社，洛斯阿米托斯
[30] 贝斯特，E。；Devillers，R。；Koutny，M.，《盒子代数=Petri网+过程表达式、信息和计算》，178，1，44-100（2002）·Zbl 1012.68117号
[31] van der Aalst，W.，Petri网在工作流管理中的应用，电路、系统和计算机杂志，8，1，21-66（1998）·doi:10.1142/S0218126698000043
[32] Padberg，J。；加耶夫斯基，M。；Ermel，C.，《保持安全特性的高级网络的基于规则的精炼》，《计算机编程科学》，40，1，97-118（2001）·Zbl 0969.68109号 ·doi:10.1016/S0167-6423（00）00022-8
[33] Padberg，J。；乌尔巴舍克，M。；Ehrig，H。；Reisig，W。；Rozenberg，G。；Weber，H.，《基于规则的Petri网精炼：综述》，《基于通信系统的Petri网络技术》，161-196（2003），海德堡：斯普林格·Zbl 1283.68251号
[34] 巴尔丹，P。；Corradini，A。；Ehrig，H。；赫克尔，R。；König，B。；Mossakowski，T。；蒙塔纳里，美国。；Haveraaen，M.，《计算机科学中开放Petri网、代数和余代数的双相似性和行为保留重构》，126-142（2007），海德堡：施普林格·Zbl 1214.68243号 ·doi:10.1007/978-3-540-73859-69
[35] Balbo，G。；布鲁尔，S。；Sereno，M.，广义随机Petri网的产品形式解，IEEE软件工程汇刊，28，10，915-932（2002）·doi:10.1109/TSE.2002.1041049
[36] J·卡莫纳。；科尔塔德拉，J。；医学博士Aagaard。；O'Leary，J.W.，《无功系统的输入/输出兼容性，计算机辅助设计中的形式化方法》，360-377（2002），海德堡：斯普林格·Zbl 1019.68616号
[37] 张，T。；Lu，Y。；多纳泰利，S。；Kleijn，J.，着色Petri网上的五类保不变量变换，Petri网的应用与理论，1999，384-403（1999），海德堡：施普林格·文件编号：10.1007/3-540-48745-X23
[38] Esparza，J.，使用网络展开进行模型检查，计算机程序设计科学，23，2-3，151-195（1994）·Zbl 0834.68087号 ·doi:10.1016/0167-6423（94）00019-0
[39] Padberg，J。；霍夫曼，K。；Ehrig，H。；莫迪卡，T。；比尔曼，E。；埃梅尔，C。；德怀尔，M.B。；Lopes，A.，《保持移动自组织网络分层架构的一致性，软件工程的基本方法》，383-397（2007），海德堡：施普林格·doi:10.1007/978-3-540-71289-3_29
[40] 洛伦斯，M。；Oliver，J.，《并发系统中的结构和动态变化：可重构Petri网》，IEEE计算机事务，53，9，1147-1158（2004）·doi:10.1009/TC.2004.66
[41] AGG主页（2007），http://tfs.cs.tu-berlin.de/agg
[42] Kindler，E。；Weber，M.，《Petri网内核——构建Petri网工具的基础设施》，技术转让软件工具，3，4，486-497（2001）·Zbl 0993.68065号
[43] Lambers，L.、Ehrig，H.、Prange，U.、Orejas，F.：具有负面应用条件的高水平粘合替换系统中的并行性和并发性。理论计算机科学电子笔记（2008年出版）·Zbl 1277.68194号
[44] Padberg，J。；Ehrig，H。；Ribeiro，L.，代数高层网络变换系统，计算机科学中的数学结构，5，2，217-256（1995）·Zbl 0839.68068号 ·doi:10.1017/S0960129500000724
[45] Prange，U.：代数高级系统作为弱粘合HLR类别。理论计算机科学电子笔记（2008年出版）·Zbl 1277.68150号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。