范德阿尔斯特(编辑);最好的,艾克(编辑) Petri网和并发的应用和理论。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI NETS 2017。诉讼程序。 (英语) Zbl 1365.68011号 计算机科学课堂讲稿10258.查姆:施普林格(ISBN 978-3-319-57860-6/pbk;978-3-3169-57861-3/电子书)。xiv,第351页。(2017年)。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议,请参阅[Zbl 1337.68013号].索引文章:伊琳娜·洛马佐娃(Irina A.Lomazova)。,Petri网中的资源等价性,19-34[Zbl 1393.68120号]法兰克·波默罗;约旦de la Houssaye,使用并行计算更快地模拟(彩色)Petri网,37-56[Zbl 1393.68124号]安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;Enevoldsen,瑟伦;彼得,福克;Lasse S.Jensen。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;拉森,金·G。;索伦·尼尔森。;Mads Chr.Olesen。;塞缪尔·帕斯特瓦(Samuel Pastva);吉·斯尔巴,扩展依赖关系图和高效分布式定点计算,139-158[Zbl 1393.68098号]卡斯滕·沃尔夫,模型检查并发性和因果关系,159-178[Zbl 1393.68109号]Luca Bernardinello;科伦萨,哥尔基姆;露西娅·波梅尔,弱可观察活性与有限图上的无限对策,181-199[Zbl 1393.68112号]贝拉德,贝特里奇;哈尔,斯特凡;Sylvain Schmitz;斯特凡·施温,Petri网可诊断性和不透明度验证的复杂性,200-220[Zbl 1393.68111号]克里斯托夫·马鲁西;文斯·莫尔纳;Vörös,András;伊斯坦·马齐克,正确处理优先级:优先级Petri网的饱和,223-242[Zbl 1393.68121号]Thomas Hujsa;雷蒙德·魔鬼队,关于加权Petri网子类的活性和死锁性,267-287[Zbl 1393.68119号]迈克尔·科勒-布·迈耶,限制黄蜂队支持自适应系统,288-306[Zbl 1393.68024号]迪米特里·瓦特尔;韦瑟,马克·安托因;多米尼克·巴特,加权Petri网覆盖问题的参数化复杂性和逼近性,330-349[Zbl 1393.68126号] 引用于1审查引用于1文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 00B25型 其他特别感兴趣的会议记录 引文:Zbl 1337.68013号 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Aalst}(编辑)和\textit{E.Best}。第38届国际会议,2017年6月25-30日,西班牙萨拉戈萨,PETRI NETS 2017。诉讼程序。查姆:斯普林格(2017;Zbl 1365.68011) 全文: 内政部