×
约翰·利利乌斯（编辑）；沃伊切赫·彭泽克（编辑）

Petri网的应用和理论。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。 （英语） Zbl 1189.68013号

计算机科学课堂讲稿6128.柏林：施普林格出版社（ISBN 978-3-642-13674-0/pbk）。x、 第329页。(2010).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1165.68011号).
索引文章：
加布里埃尔·胡亚斯；伊戈尔·卡兹洛夫；安娜·胡哈索娃，实例死锁：冻结程序背后的奥秘，1-17[Zbl 1285.68039号]
Kleijn，码头；马西耶·库特尼，带位置和测试的Petri网，19-38[Zbl 1285.68106号]
Kristensen，Lars M。，彩色Petri网显式状态空间探索的透视：过去、现在和未来，39-42[Zbl 1285.68107号]
安蒂·瓦尔马里；亨利·汉森，顽固的集是最佳的吗？，43-62 [Zbl 1233.68173号]
马蒂亚斯·威德利奇；Polyvyanyy，Artem；Mendling，Jan；马蒂亚斯·韦斯克，使用结构分解高效计算因果行为剖面，63-83[Zbl 1233.68174号]
王云和；焦、李，Petri网的标准转换集语义，84-103[Zbl 1285.68115号]
戴三民，使用标记的分层有序结构的组合迹线的表征，104-124[Zbl 1233.68166号]
Oleg Gusikhin；埃里卡·克拉普弗尔，使用Petri网进行商品装配的集成流程规划和供应链配置，125-144[Zbl 1285.90005号]
托马斯·查坦（Thomas Chatain）；埃里克·法布尔，有色Petri网符号展开的因式分解性质，165-184[Zbl 1285.68102号]
费尔南多·罗莎·维拉尔多；戴维·德·弗鲁托斯·埃斯克里格，带名称创建的Petri网正向分析，185-205[Zbl 1233.68168号]
哈维尔·埃斯帕尔扎；Martin Leucker；马克西米利安·施伦德，学习工作流Petri网，206-225[Zbl 1233.68162号]
Marc Solé；乔塞普·卡莫纳，基于州区域的流程挖掘，226-245[Zbl 1233.68170号]
Best，Eike；菲利普·达伦多，持久Petri网中的可分性，246-266[Zbl 1233.68161号]
Oanea，Olivia；哈罗·威梅尔；卡斯滕·沃尔夫，确定虹吸捕捉特性的新算法，267-286[兹比尔1285.68108]
Buchs、Didier；史蒂夫·霍斯特特勒；Alexis Marechal；马蒂奥·里索尔迪，AlPiNA:符号模型检查器，287-296[Zbl 1233.68155号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
00B25型 杂项特定利益的会议记录

引文：

Zbl 1165.68011号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lilius}（编辑）和textit{W.Penczek}（主编），Petri网的应用和理论。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（2010；Zbl 1189.68013）
全文： 内政部