卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔 面向基本网络系统的模块化综合。 (英文) Zbl 1087.93040号 Caillaud,Benoêt(编辑)等人,《离散事件系统的合成与控制》。波士顿:Kluwer学术出版社(ISBN 0-7923-7639-0)。103-113 (2002). 作者定义了一种组合转换系统的方法,并描述了并发系统模块化设计的可能应用。过渡系统由确定区域和在这些区域边界叠加事件组成。作者考虑了一个过渡系统组成和基本网络系统相应组成的示例。此外,它们给出了形式化定义和一般结果,使人们能够将用于从过渡系统合成网络系统的技术与模型和规范的组合结合起来。关于整个系列,请参见[Zbl 0984.00042号].审核人:博胡米尔·弗兰蒂舍克·什马尔达(布尔诺) 引用于1文件 MSC公司: 93元65角 离散事件控制/观测系统 93亿B50 合成问题 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:基本网络系统;基本过渡系统;合成;作文 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人,in:离散事件系统的合成与控制。波士顿:Kluwer学术出版社。103-113(2002年;Zbl 1087.93040)