第23届ICATPN 2002:澳大利亚阿德莱德
哈维尔·埃斯帕尔扎 , 查尔斯·拉科斯 :
2002年Petri网的应用与理论,第23届国际会议,2002年ICATPN,澳大利亚阿德莱德,2002年6月24日至30日,会议记录。 计算机科学课堂讲稿 2360, 施普林格 2002 ,国际标准图书编号 3-540-43787-8
受邀论文
Wil M.P.van der Aalst先生 :
制定工作流程:关于Petri网在业务流程管理中的应用。 1-22 约格·德塞尔 :
模型验证——一个理论问题? 23-43 伊恩·海耶斯 :
实时精化微积分:独立于机器的实时编程的基础。 44-58 查尔斯·拉科斯 :
面向对象对并发系统分析的挑战。 59-67 P.S.Thiagarajan先生 :
抽象循环通信过程:逻辑视图。 68-69 亚历山大·雅科夫列夫 :
代币游戏是压铸的吗? 70-79
常规论文
乔迪·科尔塔德拉 , 亚历克斯·孔德拉提耶夫 , 卢西亚诺·拉瓦尼奥 , 克劳迪奥·帕塞罗内 , 渡边友信(Yosinori Watanabe) :
无功系统独立任务的准静态调度。 80-100 让-米歇尔·库夫勒 , Emmanuelle Encrenaz公司 , 艾曼纽尔·帕维奥德 , 丹尼斯·波特雷诺 , 皮埃尔·阿安德雷·瓦克雷尼尔 :
Petri网分析的数据决策图。 101-120 朱莉安·德纳特 :
不可控选择鲁棒性表示工作流过程的可控性。 121-141 乔瓦娜·迪·马尔佐·塞鲁根多 , 迪诺·曼德里奥利 , 迪迪埃·布克斯 , 尼古拉斯·盖尔菲 :
实时同步Petri网。 142-162 汉斯·弗利什哈克 , 克里斯蒂安·斯特诺 :
计算时间Petri网的有限前缀。 163-181 史蒂文·戈登 , 拉尔斯·迈克尔·克里斯滕森 , 乔纳森·比林顿 :
验证修改后的WAP无线事务协议。 182-202 李娇 , To-Yat Cheung先生 , 魏明路 :
用虹吸管表征Petri网的活性。 203-216 Ekkart点燃器 :
Petri网、态势和自动机。 217-236 库尔特·劳滕巴赫 :
空标记的再现性。 237-253 路易斯·马利·勒尼 , 布鲁诺·塔芬 :
使用随机Petri网对基于多类阈值的滞后队列进行建模和分析。 254-272 林刘(Lin Liu) , 乔纳森·比林顿 :
处理多媒体控制协议服务规范的无限状态空间。 273-293 路易丝·洛伦森 , Antti-Pekka Tuovinen公司 , 徐建丽 :
使用彩色Petri网对诺基亚手机中的功能和功能交互进行建模。 294-313 托马斯·梅隆德 :
结合等价约简和扫描线方法分析无限状态系统。 314-334 莫根斯·尼尔森 , P.S.蒂亚加拉詹 :
规则事件结构和有限Petri网:无冲突案例。 335-351 欧阳春 , 拉尔斯·迈克尔·克里斯滕森 , 乔纳森·比林顿 :
互联网开放交易协议的正式服务规范。 352-373 Sibylle Peuker公司 :
导出分布式最小权重生成树算法的转换精化。 374-393 大卫·G·斯托克 , 罗布·范·格拉贝克 :
分层Petri网中的令牌控制位置优化及其在活动文档工作流中的应用。 394-413 瓦伦特·瓦莱罗·鲁伊斯 , 胡安·何塞·帕尔多 , 费尔南多·库亚特罗 :
将TPAL规范转换为时间弧Petri网。 414-433
工具演示
马尔科·梅克尔 :
玛丽亚:代数系统网络模块可达性分析器。 434-444
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)