菲利普·达伦多 关于零安全网络的综合。 （英语） Zbl 1143.68481号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065409-426（2008）。 概要：零安全网是表示线性步进自动机的一个适当框架。我们定义了一个基于区域的综合过程，用于从此类自动机导出零安全网。有关整个系列，请参见[Zbl 1137.68003号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}，莱克特。注释计算。科学。5065409--426（2008年；Zbl 1143.68481） 全文： 内政部 参考文献： [1] Bruni，R.，Montanari，U.：零安全网或转换同步变得简单。In：程序。快递。ENTCS，第7卷（1997）·Zbl 0911.68149号 [2] 布鲁尼，R。；Montanari，美国。；Parisi-Presicce，F.，《零安全网：个体标记方法》，《代数发展技术的最新趋势》，122-140（1998），海德堡：斯普林格 [3] 布鲁尼，R。；Montanari，U.，《零安全网：集体和个人令牌方法的比较》，《信息与计算》，15646-89（2000）·Zbl 1046.68615号 ·doi:10.1006/inco.1999.2819 [4] 布鲁尼，R。；Montanari，美国。；Ehrig，H。；Juhás，G。；Padberg，J。；Rozenberg，G.，《交易和零安全网》，《统一Petri网》，380-426（2001），海德堡：施普林格出版社·兹伯利1017.68074 ·doi:10.1007/3-540-45541-8_12 [5] 范德阿尔斯特，W。；阿泽马，P。；Balbo，G.，《工作流网络的验证，Petri网的应用和理论》1997，407-426（1997），海德堡：施普林格·Zbl 1510.68044号 [6] van Hee，K。；谢列布雷尼克，A。；Sidorova，N。；沃霍夫，M。；Ciardo，G。；Darondeau，P.，《资源约束工作流网络的健全性，Petri网的应用和理论》，2005，250-267（2005），海德堡：施普林格，海德伯格·Zbl 1128.68391号 [7] Acu，B。；Reisig，W。；多纳泰利，S。；Thiagarajan，P.S.，《工作流网络、Petri网和其他并发模型中的补偿——ICATPN 2006，65-83（2006）》，海德堡：斯普林格，海德伯格·Zbl 1234.68281号 ·doi:10.1007/11767589_5 [8] 埃伦菲赫特，A。；Rozenberg，G.，部分（集）2-结构；第一部分：基本概念与表征问题，信息学学报，27315-342（1990）·Zbl 0696.68082号 ·doi:10.1007/BF00264611 [9] 埃伦菲赫特，A。；Rozenberg，G.，部分（集）2-结构；第二部分：并发系统的状态空间，信息学报，27343-368（1990）·Zbl 0696.68083号 [10] Mukund，M.，Petri网和步骤转换系统，国际计算机科学基础杂志，3，4，443-478（1992）·Zbl 0774.68086号 ·doi:10.1142/S0129054192000231 [11] 巴杜埃尔，E。；Darondeau，P。；Reisig，W。；Rozenberg，G.，区域理论，Petri网讲座I：基本模型，529-586（1998），海德堡：施普林格·Zbl 0926.68088号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。