卢卡·伯纳迪内洛;伊丽莎白·曼吉奥尼;露西娅·波梅尔 基本网络系统的局部状态精化和组合：一种基于形态的方法。 （英语） Zbl 1394.68242号 Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。计算机科学8100课堂讲稿。《期刊副刊》，48-70（2013）。 摘要：在并发和分布式系统的设计中，模块化和细化是基本的概念工具。我们提出了一个与一类形态相关的基本Petri网局部状态的精化/抽象概念。从精化系统到抽象系统的形态将合适的子网与抽象局部状态相关联。我们定义了由该类的态射所支配的合成操作。主要结果涉及到由形态保持和反映的行为特性。特别地，我们关注可到达标记被保留或反射的条件，以及态射在网络系统之间引起弱互刺激的条件。关于整个系列，请参见[Zbl 1270.68030号]. 引用于2文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;态射;地方州细化;作文 PDF格式BibTeX公司 XML格式引用 \textit{L.Bernardinello}等人，Lect。注释计算。科学。8100，48-70（2013年；兹比尔1394.68242） 全文： 内政部