哈维尔·埃斯帕尔扎(编辑);查尔斯·拉科斯(编辑) 2002年Petri网的应用和理论。第23届国际会议,ICATPN 2002,澳大利亚阿德莱德,2002年6月24-30日。诉讼程序。 (英语) Zbl 0992.00053号 计算机科学课堂讲稿. 2360. 柏林:斯普林格。x、 第445页(2002年)。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。对上一次会议(2001年22日)进行了审查(见Zbl 0967.00078号).索引文章:Wil M.P.范德阿尔斯特。,制定工作流程:关于Petri网在业务流程管理中的应用,1-22[Zbl 1047.68613号]德塞尔,约格,模型验证–理论问题?,23-43 [Zbl 1047.68605号]伊恩·海斯。,实时精化微积分:机器独立实时编程的基础,44-58[Zbl 1047.68549号]查尔斯·拉科斯,面向对象对并发系统分析的挑战,59-67[Zbl 1047.68608号]蒂亚加拉扬,P.S。,抽象循环通信过程:逻辑视图,68-69[Zbl 1047.68611号]亚历克斯·雅科夫列夫是代币游戏的演员吗?,70-79 [Zbl 1047.68612号]乔尔迪·科尔塔德拉;Alex Kondratyev;卢西亚诺·拉瓦尼奥;克劳迪奥·帕塞罗内;渡边洋里,反应系统独立任务的准静态调度,80-100[Zbl 1047.68516号]Jean-Michel Couvreur;Emmanuelle Encreaz;艾曼纽尔·帕维奥德·阿代特;丹尼斯·波特雷诺(Denis Poitrenaud);Pierre-AndréWacrenier,Petri网分析的数据决策图,101-120[兹比尔1047.68555]朱利安·德内特,表示工作流过程可控性的非可控选择鲁棒性,121-141[Zbl 1047.68604号]乔瓦纳·迪·马尔佐·塞鲁根多;迪诺·曼德里奥利;Didier Buchs;尼古拉斯·盖尔菲,实时同步Petri网,142-162[Zbl 1047.68606号]Fleischhack,Hans;克里斯蒂安·斯特诺,计算时间Petri网的有限前缀,163-181[Zbl 1047.68084号]史蒂文·戈登(Steven Gordon);克里斯滕森、拉尔斯·迈克尔;乔纳森·比林顿,验证修订的WAP无线交易协议,182-202[Zbl 1047.68508号]焦,李;张东逸;陆伟明,用虹吸管表征Petri网的活性,203-216[Zbl 1047.68086号]Ekkart Kindler公司、Petri网、情境和自动机,217-236[Zbl 1047.68607号]库尔特·劳滕巴赫,空标记的再现性,237-253[Zbl 1047.68087号]路易斯·马里·勒尼;布鲁诺·塔芬,使用随机Petri网对基于多类阈值的滞后队列进行建模和分析,254-272[Zbl 1047.68534号]刘林;乔纳森·比林顿,处理多媒体控制协议服务规范的无限状态空间,273-293[Zbl 1047.68504号]Lorentsen,Louise;托维宁,安蒂·佩卡;徐建丽,使用彩色Petri网对诺基亚手机中的功能和功能交互进行建模,294-313[Zbl 1047.68859号]托马斯·梅隆德,通过结合等价约简和扫线法分析无限状态系统,314-334[兹比尔1047.68609]尼尔森,莫根斯;蒂亚加拉扬,P.S。,正则事件结构和有限Petri网:无冲突情况,335-351[Zbl 1047.68088号]欧阳春;克里斯滕森,拉尔斯·迈克尔;乔纳森·比林顿,互联网公开交易协议的正式服务规范,352-373[Zbl 1047.68509号]西比尔·普克,用于推导分布式最小权重生成树算法的转换精化,374-393[Zbl 1047.68165号]大卫·G·斯托克。;罗布·范格拉贝克,分层Petri网中的令牌控制位置细化,应用于活动文档工作流,394-413[Zbl 1047.68610号]瓦伦特·瓦莱罗;胡安·何塞(Juan José)·帕尔多(Pardo);费尔南多·库亚特罗,将TPAL规范转换为定时弧Petri网,414-433[Zbl 1047.68090号]马可·梅克尔,Maria:代数系统网的模块可达性分析器,434-444[Zbl 1047.68554号] 引用于1审查 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:阿德莱德(澳大利亚);诉讼;会议;ICATPN 2002;Petri网 引文:Zbl 0967.00078号 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(编辑)和\textit{C.Lakos}(主编),Petri网的应用和理论,2002年。第23届国际会议,ICATPN 2002,澳大利亚阿德莱德,2002年6月24-30日。诉讼程序。柏林:施普林格出版社(2002;Zbl 0992.00053)