×

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

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用