乔纳森·比林顿（编辑）;沃尔夫冈·雷西格（编辑） 1996年Petri网的应用和理论。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。 （英语） Zbl 1076.68502号 计算机科学课堂讲稿1091.柏林：施普林格出版社（ISBN 3-540-61363-3）。viii，548页。(1996). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1492.68015号].索引文章：古尔·阿加（Gul A.Agha）。《建模并发系统：参与者、网络和抽象与组合问题》，1-10[Zbl 1418.68130号]大岛村田，时间不确定性和模糊定时高级Petri网，11-28[Zbl 1418.68152号]安蒂·瓦尔马里，状态空间中的成分验证方法，29-56[Zbl 1418.68155号]卡梅尔·巴考伊；Jean-François，Pradat-Peyre，关于Petri网中的活性和受控信标，57-72[Zbl 1418.68131号]贝纳利切里夫（Benalycherif，Mohamed-Lyes）；克劳德·吉拉尔，通过同步有色FIFO网络保持活性的行为和结构组成规则，73-92[Zbl 1418.68132号]Krzysztof，Bilingski；埃里克·L·达格利斯。，同步并行控制器的高级综合，93-112[Zbl 1418.68133号]娜迪亚，布西；米歇尔·平纳，上下文P/T网络的非顺序语义，113-132[Zbl 1418.68136号]苏珊娜·多纳泰利（Susanna Donatelli）；朱利安娜·弗朗西斯科尼斯《PSR方法论：集成硬件和软件模型》，133-152[Zbl 1418.68007号]德语，Reinhard；Aad P.A.van Moorsel。；穆罕默德·库雷希。；威廉·H·桑德斯。，马尔可夫再生随机Petri网中的期望脉冲报酬，172-191[Zbl 1418.68140号]谢尔盖·哈达德；帕特里斯·莫雷奥《高级Petri网的异步合成：定量方法》，192-211[Zbl 1418.68141号]何旭东，层次谓词转换网的形式定义，212-229[Zbl 1418.68144号]Hiraishi、Kunihiko，无界向量状态空间的简化状态空间表示，230-248[Zbl 1418.68145号]Bk Jörgensen，Jens；科杰尔德·Höyer Mortensen，使用有色Petri网对BETA中的分布式程序执行进行建模和分析，249-268[兹伯利1418.68041]彼得·坎佩尔，基于结构化表示的可达性分析，269-288[Zbl 1418.68146号]Ekkart Kindler公司；沃尔特·罗尔夫，弧型Petri网，289-306[Zbl 1418.68147号]沃纳可耐普，一类随机Petri网的一种新的迭代数值求解算法，327-345[Zbl 1418.68148号]Alex Kondratyev；基希涅夫斯基，迈克尔；亚历山大·陶宾；十，谢尔盖，通过简化展开分析Petri网的结构方法，346-365[Zbl 1418.68149号]安德烈·科瓦利约夫，用于验证网络是否规则的\（O（|S|\times|T|）\）-算法，366-379[Zbl 1418.68150号]查尔斯·拉科斯，对象Petri网定义中名称和多态性的一致使用，380-399[Zbl 1418.68151号]雷卡德，劳拉；Enrique Teruel；曼纽尔·席尔瓦，\（\{\mathrm{SC}\}^\ast\mathrm{ECS}\）：一类模块化和层次化协同系统，440-459[Zbl 1418.68153号]Sunesen，Kim；尼尔森，莫根斯，无限系统的行为等效性-部分可判定！，460-479 [Zbl 1418.68154号]雅普·范·奥斯汀，记录道的拓扑方面，480-496[Zbl 1418.68156号]瓦沙夫斯基，V.I。；马拉霍夫斯基，V.B。，异步控制装置的网络模型行为仿真设计，497-515[Zbl 1418.68008号]弗朗索瓦·沃纳达特；皮埃尔·阿泽马；弗朗索瓦·米歇尔，覆盖步骤图，516-535[Zbl 1418.68157号]袁军；刘丽林；董占秋，跨ATM网络的IWU互连LAN中连接管理方案的性能分析，536-548[Zbl 1418.68010号] 引用于2评论 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 关键词：Petri网;会议;诉讼;大阪（日本） 引文：兹比尔1492.68015 PDF格式BibTeX公司 XML格式引用 \textit{J.Billington}（编辑）和textit{W.Reisig}（主编），Petri网的应用和理论，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：施普林格出版社（1996；Zbl 1076.68502）