佩特里PNSE Nets 2020:在线活动[法国巴黎]
迈克尔·科勒-布ß迈耶 , Ekkart点燃器 , 海科·Rölke :
《Petri网与软件工程国际研讨会论文集》,与第41届Petri网应用与理论与并发国际会议(Petri Nets 2020)合办,法国巴黎,2020年6月24日(由于新冠肺炎:虚拟会议)。 CEUR研讨会论文集 2651, CEUR-WS.org公司 2020
第1部分: 长篇演讲
托尔斯滕·利布克 , 卡斯滕·沃尔夫 :
使用欠近似验证令牌缩放模型。 1-9 卡斯滕·沃尔夫 :
显式模型检查中的项目组合管理。 10-28 约翰·阿尔西尔 , 雷蒙德·R·德维尔斯 , 汉娜·克劳德尔 :
自动车辆状态空间的动态探索模型。 29-48 卢卡·伯纳迪内洛 , 伊琳娜·洛马佐娃 , 罗曼·内斯特罗夫 , 露西娅·波梅洛 :
基于形态的基本网络系统的保性质变换。 49-67 阿纳斯塔西亚·格科尔菲 , 艾纳·布罗赫·约翰森 , 拉尔斯·迈克尔·克里斯滕森 , 英格丽德·钱玉(Ingrid Chieh Yu) :
使用彩色Petri网对资源软件活动对象的饥饿情况进行模型检查。 68-85 艾沙·艾哈迈德 , 玛塔·皮特基维奇·库特尼 :
具有局部性的初等网络系统的综合算法。 86-107
第2部分: 简短演讲
托尔斯滕·利伯克 , 克里斯蒂安·罗森克 :
更快的启用-可达性图计算的更新。 108-117 胡里奥·塞萨尔·卡拉斯克尔 , 伊琳娜·洛马佐娃 , 安德烈·里夫金 :
使用Petri网扩展对交易系统进行建模。 118-137 Rakshit Mittal公司 , 罗奇斯努·巴纳吉 , 桑托努·萨卡尔 , Soumyadip Bandyopadhyay公司 :
使用基于Petri网的程序模型对涉及代码优化转换的循环进行翻译验证。 138-146 托尔斯滕·利布克 :
Büchi-Automata指导的LTL部分降阶。 147-166 大卫·莫斯特勒 , 迈克尔·豪斯特曼 , Leonie S.Dreschler-费舍 :
基于Petri网的功能反应建模图形语言。 167-180 斯文·威尔罗德 , 丹尼尔·莫尔特 , 迈克尔·西蒙 :
参考网的模块化模型检查:MoMoC。 181-193 比亚恩·杰森 , 丹尼尔·莫尔特 :
Petri循环线的一些简单扩展。 194-213
第三部分: 墙报交流
文森特·安皮埃罗 , 大卫·安德烈 , 大卫·德拉海耶 :
HILECOP的形式化验证:同步执行Petri网的形式化和实现。 214-215 文曾 , Vasileios Germanos公司 :
定量反应系统。 216-217 罗兰·皮特斯 :
用有色Petri网对状态转换进行建模。 218-219 丹尼斯·施密茨 , 马蒂亚斯·费尔德曼 , 丹尼尔·莫尔特 :
使用过程挖掘和商业智能分析软件工程课程。 220-221 穆罕默德·阿西里 , 里萨德·贾尼基 :
使用时间着色Petri网建模和分析心电图事件。 222-223