马西耶·库特尼（编辑）；Wil M.P.范德阿尔斯特。（编辑）；亚历克斯·雅科夫列夫（编辑） 关于Petri网和其他并发模型的事务处理VIII。 （英语） Zbl 1270.68030号 计算机科学课堂讲稿8100.日记账子行。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。十七、203页。(2013). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。索引文章：保罗·巴尔丹；尼科莱塔·科科；费德里卡·朱莫莱；玛尔塔·西蒙，通过反应和潜在通量比较代谢途径，1-23[Zbl 1395.92056号]Luca Bernardinello；伊丽莎白·曼吉奥尼；露西娅·波梅尔，基本网络系统的局部状态精化和组合：基于形态的方法，48-70[Zbl 1394.68242号]阿加塔·雅诺夫斯卡；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；安德烈·兹布雷泽兹尼，使用整数时间步长检查时间Petri网的分支时间属性，89-105[Zbl 1395.68197号]Kees M.van Hee。；娜塔莉亚·西多罗娃；van der Werf，Jan Martijn E.M。，我们什么时候可以信任第三方？稳健的观点，106-122[Zbl 1395.90171号]赫拉吉，莫斯塔法；马丁·施瓦里克；莫妮卡·海纳，用于模拟真核细胞周期的混合Petri网，123-141[Zbl 1395.92052号]克里斯蒂安·罗尔，稳态和时间无界时间算子的模拟模型检查，142-158[兹比尔1394.68236]Michael Westergaard；德克·法兰德；克里斯蒂安·斯塔尔，Grade/CPN:在教学中测试有色Petri网模型的工具和时序逻辑，180-202[Zbl 1394.68258号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B15号机组 杂项特定利益物品的收集 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（2013；Zbl 1270.68030） 全文： 内政部