1985年4月6日:芬兰埃斯波
格列泽戈兹·罗森伯格 :
《1985年Petri网进展》涵盖了1985年6月在芬兰埃斯波举行的第六届Petri网应用和理论欧洲研讨会的论文。 计算机科学课堂讲稿 222, 施普林格 1986 ,国际标准图书编号 3-540-16480-4 伯恩德·鲍姆加滕 , 海因茨·Jürgen Burkhardt , 彼得·奥赫森施瓦格 , 雷纳·普里诺思 :
合同的签署——一个树状结构的应用程序。 1-18 热拉尔·贝瑟洛特 :
使用转换检查网络的属性。 19-40 热拉尔·布多尔 , 杰拉德·鲁卡罗尔 , 罗伯特·德西蒙 :
Petri网和过程的代数计算。 41-58 汉斯·迪特·伯克哈德 :
公平控制及其实现。 59-82 卢卡·卡斯特拉诺 :
C/E系统的Beta过程。 83-100 袁崇义 :
C/E系统中的同步距离。 101-121 袁崇义 :
流程周期和系统重建。 122-141 G.比较蛋白 , 盖塔诺·奥雷利奥·兰扎隆 , 库尔特·劳滕巴赫 , 阿纳斯塔西亚·帕格诺尼 , W.装甲车 , A.托尔加诺 :
使用大规格网络分析技术的指南。 142-161 路德维克·查亚 :
使网络抽象化和结构化。 181-202 Frits Feldbrugge公司 :
Petri网工具。 203-223 哈特曼·J·根里奇 :
C/E系统的投影。 224-232 乌苏拉·戈尔茨 , 袁崇义 :
同步结构-教程。 233-252 德克·豪希尔特 , 吕迪格·瓦尔克 :
银行类资源分配问题中的安全状态。 253-277 阿纳托尔·霍尔特 :
协调技术和Petri网。 278-296 库尔特·延森 , 埃里克·梅内切·施密特 :
通过指称语义和高级Petri网的组合实现Pascal语义。 297-329 Y.纳拉哈里 , 努卡拉·维斯瓦纳达姆 :
关于有色Petri网的不变量。 330-345 米歇尔·帕里格特 , 伊丽莎白·佩尔兹 :
研究Petri网无限行为的逻辑形式主义。 346-361 赫尔穆特·普伦内克 :
通过相关性确定偏序集。 362-380 露西娅·波梅洛 :
并发系统的一些等价概念。 概述。 381-400 格诺·里希特 , 克劳斯·沃斯 :
建立一个整合信息和资源的综合办公模式。 401-417 雅克·沃瑟林 :
具有相互依赖标记的有色Petri网的非线性不变量; 应用于并行程序的证明。 418-434 杰弗里·惠勒 , 迈克尔·威尔伯·哈姆 , 乔纳森·比林顿 , J.A.吉尔穆尔 :
使用数值Petri网进行协议分析。 435-452 格林·温斯克 :
Petri网、形态和合成。 453-477 Wlodzimierz M.祖贝雷克 :
M时间Petri网、优先级、抢占和Petri网的性能评估。 478-498