1996年4月17日:日本大阪
乔纳森·比林顿 , 沃尔夫冈·雷西格 :
1996年《Petri网的应用和理论》,第17届国际会议,日本大阪,1996年6月24日至28日,会议记录。 计算机科学课堂讲稿 1091, 施普林格 1996 ,国际标准图书编号 3-540-61363-3
受邀论文
全文
卡梅尔·巴考伊 , 让-弗朗索瓦·普拉达特·派尔 :
Petri网中的活度和受控虹吸。 57-72 穆罕默德·莱斯·贝纳利切里夫 , 克劳德·吉罗 :
彩色FIFO网络同步保持活力的行为和结构组成规则。 73-92 Krzysztof Bilinski公司 , 埃里克·L·达格利斯 :
同步并行控制器的高级综合。 93-112 娜迪亚·布西 , G.米歇尔·平纳 :
上下文P/T网络的非顺序语义。 113-132 苏珊娜·多纳泰利 , 朱利安娜·弗朗西斯科尼斯 :
PSR方法:集成硬件和软件模型。 133-152 D.J.弗洛雷亚尼 , 乔纳森·比林顿 , A.J.达德 :
使用彩色Petri网和Design/CPN设计和验证通信网关。 153-171 莱因哈德德语 , Aad P.A.van Moorsel先生 , 穆罕默德·库雷希 , 威廉·桑德斯 :
马尔可夫再生随机Petri网中的期望脉冲报酬。 172-191 谢尔盖·哈达德 , 帕特里斯·莫罗 :
高级Petri网的异步组合:一种定量方法。 192-211 何旭东 :
层次谓词转移网的形式化定义。 212-229 Kunihiko Hiraishi先生 :
无界向量状态空间的约简状态空间表示。 230-248 延斯·伯根森 , 杰尔德·Höyer Mortensen :
使用彩色Petri网对BETA中的分布式程序执行进行建模和分析。 249-268 彼得·坎佩尔 :
基于结构化表示的可达性分析。 269-288 Ekkart点燃器 , 罗尔夫·沃尔特 :
弧型Petri网。 289-306 伯恩德·克莱因霍恩 , 丽莎·克莱因霍恩 , 尤尔根·塔肯 :
系统工程和动画的SEA语言。 307-326 沃纳·克诺普 :
一类随机Petri网的一种新的迭代数值求解算法。 327-345 亚历克斯·孔德拉提耶夫 , 迈克尔·基希内夫斯基 , 亚历山大·陶宾 , 谢尔盖·滕 :
用约化展开分析Petri网的结构方法。 346-365 安德烈·科瓦利约夫 :
验证网络是否正则的O(|S|×|T|)-算法。 366-379 查尔斯·拉科斯 :
对象Petri网定义中名称和多态性的一致使用。 380-399 延斯·林内贝格·拉斯穆森 , 梅贾尔·辛格 :
利用彩色Petri网设计安全系统。 400-419 自由黑人 , 弗朗西斯科·普波 :
通过高级Petri网对DART系统进行建模和分析。 420-439 劳拉·雷卡德 , 恩里克·特鲁尔 , 曼努埃尔·席尔瓦·苏亚雷斯 :
{SC}*ECS:一类模块化、层次化的协作系统。 440-459 金·苏内森 , 莫根斯·尼尔森 :
无限系统的行为等价性-部分可决定! 460-479 贾普·范·奥斯滕 :
痕迹的拓扑方面。 480-496 维克托·瓦沙夫斯基 , 维亚切斯拉夫·马拉霍夫斯基 :
基于网络模型行为仿真的异步控制设备设计。 497-515 弗朗索瓦·沃纳达特 , 皮埃尔·阿泽马 , 弗朗索瓦·米歇尔 :
覆盖步骤图。 516-535 Jun Yuan先生 , Lilin Liu(刘丽林) , 战丘洞 :
ATM网络上IWU互连局域网中连接管理方案的性能分析。 536-548