2003年第24届ICATPN:荷兰埃因霍温
Wil M.P.van der Aalst先生 , 艾克·贝斯特 :
2003年Petri网的应用和理论,第24届国际会议,ICATPN 2003,荷兰埃因霍温,2003年6月23日至27日,会议记录。 计算机科学课堂讲稿 2679, 施普林格 2003 ,国际标准图书编号 3-540-40334-5
受邀论文
库尔特·延森 :
彩色Petri网:现状与展望。 1-2 松野浩史 , Sachie Fujita公司 , Atsushi Doi公司 , 长崎Masao , 宫野佐治 :
生物通路建模与仿真。 3-22 何塞·曼努埃尔·科罗姆 :
柔性制造系统中的资源分配问题。 23-35 马可·阿杰蒙·马尔桑(Marco Ajmone Marsan) , 米歇尔·加雷托 , 雷纳托·罗奇诺 , 米歇拉·梅奥 :
用于互联网子网QoS设计的彩色GSPN模型。 36 埃德·布林克斯马 :
定性和定量行为的构成理论。 37-42 克拉伦斯·A·埃利斯 :
支持人类和人道行为的网络模型。 43
全文
H.M.W.Verbeek先生 , 特万·巴斯滕 :
Petri网上生命周期继承的判定。 44-63 埃里克·巴杜埃尔 , 朱尔斯·切诺 :
闭合单体结构上的网丰富。 64-81 Yann Thierry-Mieg公司 , 克劳德·杜泰利特 , 伊莎贝尔·穆尼尔 :
井网中的自动对称性检测。 82-101 劳伦斯·卡巴克 , 丹尼尔·莫尔特 , 海科·勒克 :
构建基于Petri网的Agent交互协议的建议。 102-120 迈克尔·科勒 , 丹尼尔·莫尔特 , 海科·勒克 :
使用网络中的网络对移动和移动代理进行建模。 121-139 马雷克·贝德纳西克 , 卢卡·伯纳迪内洛 , 贝诺·特凯劳德 , 维斯拉夫·帕洛夫斯基 , 露西娅·波梅洛 :
模块化系统开发与回拖。 140-160 阿德南·谢里夫 , 奥古斯托·桑帕约 , 塞尔吉奥·卡瓦尔坎特 :
使用定时CSP-Z和Petri网对SACI-1机载计算机进行规范和验证。 161-180 罗萨诺·盖塔 , 马可·格里鲍多 , 丹尼尔·马尼尼 , 马泰奥·塞雷诺 :
使用Petri网计算短TCP传输的完成时间分布。 181-200 马尔科·梅克尔 :
模块化高层网络中的模型检查安全属性。 201-220 豪尔赫·尤尔维斯 , 劳拉·雷卡德 , 曼努埃尔·席尔瓦·苏亚雷斯 :
自治连续Petri网系统的可达性。 221-240 Spyros A.Reveliotis公司 :
顺序资源分配系统中基于虹吸的活性表征。 241-255 延斯·伯根森 :
彩色Petri网在普及医疗系统开发中的应用。 256-275 库尔特·劳滕巴赫 :
逻辑推理和Petri网。 276-295 Rik Eshuis公司 , 朱利安·德内特 :
工作流建模的反应Petri网。 296-315 Sahika基因 , 斯特凡·拉福琼 :
基于Petri网的离散事件系统分布式诊断。 316-336 Kees M.van Hee先生 , 娜塔莉亚·西多罗娃 , 马克·沃霍夫 :
逐步细化方法中工作流网络的稳健性和可分性。 337-356 加布里埃尔·尤哈斯 , 洛伦兹 , 汤玛斯·辛格利尔 :
关于Petri网中的同步性和并发性。 357-376 玛丽亚·维拉波尔 , 乔纳森·比林顿 :
分析资源预留协议的属性。 377-396 汉斯·弗利什哈克 , 伊丽莎白·佩尔兹 :
分层时间高级网及其分支过程。 397-416 佐藤桃花 , Shinji Furusato公司 , 渡边俊美 :
一种基于避免死锁成分的启发式算法FSDC在寻找Petri网合法点火序列中的应用。 417-439
工具文件
斯特凡·克莱因 , 乔治·弗雷 , 马克·米纳斯 :
用信号解释Petri网进行PLC编程。 440-449 安妮·V·拉特泽 , 丽莎·威尔斯 , 亨利·迈克尔·拉森 , 马德斯·劳尔森 , 雅各布·弗兰克·夸特鲁普 , 马丁·斯蒂格·斯蒂辛 , 迈克尔·韦斯特加德 , 瑟伦·克里斯滕森 , 库尔特·延森 :
用于编辑、模拟和分析彩色Petri网的CPN工具。 450-462 克劳斯·施罗德 , 斯特凡·施温 , 哈维尔·埃斯帕尔扎 :
模型检查工具包。 463-472 阿里·阿尔·沙比比 , 迪迪埃·布克斯 , 马修·布福 , 斯坦尼斯拉夫·查奇科夫 , 陈昂(Ang Chen) , 大卫·赫泽勒 :
原型化面向对象规范。 473-482
PNML论文
乔纳森·比林顿 , 瑟伦·克里斯滕森 , Kees M.van Hee先生 , Ekkart点燃器 , 奥拉夫·库默 , 劳雷·佩特鲁奇 , 雷尼尔邮报 , 克里斯蒂安·斯特诺 , 米夏埃尔·韦伯 :
Petri网标记语言:概念、技术和工具。 483-505