×
最好的，艾克;马西耶·库特尼

箱代数的改进视图。 （英语） Zbl 1496.68217号

De Michelis，Giorgio（编辑）等人，Petri网的应用和理论，1995年。第十六届国际会议，1995年6月26日至30日，意大利都灵。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。935, 1-20 (1995).
摘要：本文以教程的形式给出了盒代数片段的操作语义和Petri网语义。对于操作语义，给出了标记表达式的归纳规则。对于网络语义，引入了一种通用的精化和重标号机制，并利用该机制定义了代数的连接词。另一篇论文展示了如何扩展此机制以处理递归。
关于整个系列，请参见[Zbl 1492.68015号].

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68问题55 计算理论中的语义学

关键词：

Petri网;进程代数;精炼
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{M.Koutny}，莱克特。注释计算。科学。935，1--20（1995年；Zbl 1496.68217）
全文： 内政部

参考文献：

[1] E.Best，R.Devillers，J.Esparza：Petri盒微积分的一般精化和递归算子。Springer-Verlag，《计算机科学讲义》第665卷，第130-140页（1993年）·Zbl 0791.68122号
[2] E.Best，R.Devillers，J.Hall：Petri Box演算：一个具有多标记通信的新因果代数。《Petri网进展》1992，G.Rozenberg（编辑），Springer-Verlag，《计算机科学讲义》第609卷，第21-69卷（1992年）。
[3] E.Best、H.Fleischack、W.Fraczak、R.P.Hopkins、H.Klaudel、E.Pelz：\（B（PN）^2）的M-网语义。程序。STRICT’95（1995）。
[4] E.Best，R.P.霍普金斯：B(PN编号)\（^2）-基本Petri网编程符号。程序。1993年，Springer-Verlag，《计算机科学讲义》第694卷，第379-390页（1993年）。
[5] E.Best，M.Koutny：求解递归网络方程。程序。ICALP-95，Springer-Verlag，计算机科学讲义（1995）·Zbl 1412.68147号
[6] G.Boudol，I.Castellani：分布式计算的流模型：事件结构和网络。Recherche Rapport，INRIA，Sophia Antipolis（1991年7月）·Zbl 0938.68715号
[7] R.Devillers：为Petri盒微积分重新审视同步算子。技术报告LIT-290，布鲁塞尔自由大学信息技术实验室（1994年）。
[8] R.Devillers：Petri盒的S不变分析。技术报告LIT-273，布鲁塞尔自由大学信息技术实验室（1993年）。发表于《信息学报》（1995）·兹比尔0827.68080
[9] W.Fraczak，H.Klaudel：一个多作用同步方案及其在Petri盒演算中的应用。程序。ESDA（工程系统设计与分析会议），91-100，伦敦（1994）。
[10] U.Goltz，R.van Glabbeek：基于因果关系模型中行为的细化。Springer-Verlag，《计算机科学讲义》第430卷，第267-300页（1989年）。
[11] M.Koutny，E.Best：箱代数的操作语义。草案（1995年）。
[12] M.Koutny，J.Esparza，E.Best：Petri Box演算的操作语义。程序。CONCUR’94（编辑：B.Jonsson和J.Parrow），《计算机科学讲义》第836卷，Springer-Verlag，210-225（1994）。
[13] R.Milner：沟通与并发普伦蒂斯·霍尔（1989）·Zbl 0683.68008号
[14] E.R.Olderog：网络、术语和公式《剑桥理论计算机科学丛书》23（1991）·Zbl 0741.68002号
[15] G.Plotkin：操作语义的结构方法。奥胡斯大学计算机科学系DAIMI技术报告FN-19（1981）。
[16] W.Reisig：Petri网。导言EATCS理论计算机科学专著第3卷，Springer-Verlag（1985）·Zbl 0555.68033号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。