×
弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格

负应用条件下（mathcal{M}）-粘着变换系统的置换等价性分析。 （英语） Zbl 1342.68179号

数学。结构。计算。科学。 24，第4号，文章ID e240409，47页（2014）.
摘要：（mathcal{M}）-粘着类别为建模分布式和并发系统的各种规范框架提供了一个抽象框架。它们扩展了粘着和弱粘着HLR类别的著名框架，并集成了高级结构，例如属性，例如类型化属性图。{}在当前的论文中，我们研究了在应用中经常使用的（mathcal{M}）-粘合剂转化系统，其中包括转化规则的负应用条件（NAC）。对于这样的系统，我们提出了一个关于变换序列的原始等价，称为置换等价，这比经典的开关等价更粗糙。我们还提出了基于子对象变换系统的（mathcal{M}）-粘着变换系统确定性过程的一般构造。作为主要结果，我们证明了从变换序列获得的过程识别了置换等价变换序列的等价类。此外，我们还展示了如何将此过程的分析简化为对生成的位置/转移Petri网的可达图的分析。该网络对转换序列的规则应用之间的依赖性进行编码，包括NAC的抑制作用。

引用于三文件

MSC公司：

2012年第68季度 语法和重写系统
18B20型 机器、自动机的类别
第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit｛F.Hermann｝等人，《数学》。结构。计算。科学。24，第4号，文章ID e240409，47页（2014；Zbl 1342.68179）
全文： 内政部

参考文献：

[1] ISO/IEC 15909-1:2004，软件和系统工程——高级Petri网——第1部分：概念、定义和图形符号（2004）
[2] DOI:10.1006/inco.1995.1153·Zbl 1096.68678号 ·doi:10.1006/inco.1995.1153
[3] EASST 16的电子通信（2009）
[4] 数字对象标识码：10.1007/978-3-642-15928-2_17·Zbl 1306.68073号 ·doi:10.1007/978-3-642-15928-217
[5] DOI:10.1017/0960129508007202·Zbl 1168.68022号 ·doi:10.1017/S096012908007202
[6] 《基础信息》第26页第241页–（1996年）
[7] 《基础信息》第26页第287页–（1996年）
[8] 内政部：10.1007/s10485-008-9127-6·Zbl 1153.18002号 ·doi:10.1007/s10485-008-9127-6
[9] 类别，寓言（1990）·Zbl 0698.18002号
[10] 《基础信息》40第165页–（1999）
[11] 交换与自动机理论第167页–（1973）
[12] 动态和声明性业务流程会议记录（DDBP 2009）第64页–（2009）
[13] EATCS公告102第111页–（2010年）
[14] DOI:10.07/978-3-642-15928-2_16·Zbl 1306.68121号 ·doi:10.1007/978-3-642-15928-216
[15] 代数图形变换基础（2006）·Zbl 1095.68047号
[16] 内政部：10.1007/11690634_14·doi:10.1007/11690634_14
[17] DOI:10.1016/j.tcs.2004.04.001·Zbl 1078.68103号 ·doi:10.1016/j.tcs.2004.04.001
[18] 抽象和具体类别（1990年）
[19] Springer-Verlag计算机科学讲座笔记1491 pp 12–（1996）
[20] Petri网：简介4（1985）
[21] 内政部：10.1016/0890-5401（90）90013-8·Zbl 0711.68077号 ·doi:10.1016/0890-5401（90）90013-8
[22] DOI:10.1016/j.entcs.2008.10.042·Zbl 1277.68194号 ·文件编号：10.1016/j.entcs.2008.10.042
[23] DOI:10.1051/ita:2005028·兹比尔1078.18010 ·doi:10.1051/ita:2005028
[24] 内政部：10.1007/978-3-540-24727-2_20·doi:10.1007/978-3-540-24727-220
[25] 内政部：10.1016/j.ic.2003.11.002·Zbl 1101.68699号 ·doi:10.1016/j.ic.2003.11.002
[26] EASST 4的电子通信（2006）
[27] EASST 29（2010）的电子通信
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。