谢尔盖·哈达德（编辑）;露西娅·波梅尔（编辑） Petri网的应用和理论。2012年6月25日至29日，第33届国际会议，PETRI NETS 2012，德国汉堡。诉讼程序。 （英语） Zbl 1245.68011号 计算机科学课堂讲稿7347.柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。xii，419页。(2012). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1216.68030号].索引文章：你好，托尼，并发对象行为的网络模型，1-2[Zbl 1357.68137号]阿兰·芬克尔（Alain Finkel）；让·古鲍特·拉雷克，WSTS的理论：完全WSTS的情况，3-31[Zbl 1357.68135号]托马斯·梅隆德；Anders E.Halager。；迈克尔·韦斯特加德，使用有色Petri网构建合并隐马尔可夫模型：从人口统计规范到有效推理方法的自动转换，32-50[Zbl 1358.92069号]Marc Solé；乔塞普·卡莫纳，基于SMT的C网络发现算法，51-71[Zbl 1357.68143号]Wil M.P.范德阿尔斯特。，使用通道分解过程挖掘问题，72-91[Zbl 1357.68146号]刘关军；孙军；刘，杨；董金松，有界工作流网稳健性问题的复杂性，92-107[Zbl 1357.68075号]Martos-Salgado，玛丽亚；费尔南多·罗莎·维拉尔多，定价的资源约束工作流网络的成本稳健性，108-127[Zbl 1358.90066号]埃里克·巴杜埃尔，关于工作流网络的（阿尔法）重构，128-147[兹比尔1358.90065]马蒂亚斯·威德利奇；范德沃夫，扬·马蒂恩，关于轮廓和足迹——Petri网的关系语义，148-167[兹比尔1358.90067]德克·法兰德；罗伯特·普吕弗，使用Petri网进行基于场景建模的数据和抽象，168-187[Zbl 1357.68134号]王旭，最大汇流过程，188-207[Zbl 1357.68145号]安蒂·瓦尔马里；亨利·汉森，最小可覆盖性集的新旧算法，208-227[Zbl 1357.68144号]安德烈亚斯·莱曼；尼尔斯·洛曼；卡斯滕·沃尔夫，简单线性时间属性的顽固集，228-247[Zbl 1357.68114号]萨米人伊万格利斯塔；克里斯滕森，拉尔斯·迈克尔，用扫线法检查混合在轨LTL模型，248-267[Zbl 1357.68112号]阿斯特里德·拉科夫，安全切片Petri网，268-287[Zbl 1357.68141号]德比约蒂·贝拉（Debjyoti Bera）；Kees M.van Hee。；范德沃夫，扬·马蒂恩，设计弱端接ROS系统，328-347[Zbl 1357.68243号]弗兰克·海特曼；迈克尔·科勒-布·迈耶，网络中的P-和T-系统-在网络中-形式主义，368-387[Zbl 1357.68136号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1216.68030号 PDF格式BibTeX公司 XML格式引用 \textit{S.Haddad}（编辑）和\textit{L.Pomello}（主编），Petri网的应用和理论。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格（2012年；兹bl 1245.68011） 全文： 内政部