×

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号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
00B25型 其他特别感兴趣的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部