德塞尔，约格;阿加提·默塞隆 用于抽象系统需求的邻接同态。 （英文） Zbl 1312.68150号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型学报》IV。柏林：施普林格出版社（ISBN 978-3-642-18221-1/pbk）。计算机科学课程讲稿6550。《期刊副刊》，1-20（2010）。 摘要：本文涉及在抽象概念层次上构建系统需求。渠道/机构Petri网被视为一种形式化模型。它们允许以图形方式表示需求的功能方面和数据方面。基于邻域的同态被提出作为一种细化和抽象这些网络的方法。它们保留了路径，即计算元素之间的依赖性，并保留了网络的重要结构特性，如S-和T-组分、虹吸管和陷阱以及自由选择特性。这些属性对标记Petri网有重要的解释，因此可以用于更具体的系统模型分析。关于整个系列，请参见[Zbl 1203.68012号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：渠道/机构网络;同态;抽象 软件：Rapide公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{A.Merceron}，莱克特。注释计算。科学。6550，1--20（2010；Zbl 1312.68150） 全文： 内政部