查尔斯·拉科斯。 移动的Petri网视图。 （英语） Zbl 1169.68547号 Wang，Farn（编辑），网络和分布式系统的形式化技术–FORTE 2005。第25届IFIP WG 6.1国际会议，台湾台北，2005年10月2-5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29189-X/pbk）。计算机科学课堂讲稿3731174-188（2005）。 概要：移动系统探索了位置和连接性之间的相互作用。子系统可以连接到远程子系统，并将其用于通信。或者，为了进行通信，可能需要或希望将子系统移近另一个子系统。本文提出了移动系统的Petri网形式化，以利用Petri网的直观图形表示和相关分析技术的悠久历史。提出的形式主义从模块化Petri网开始，其中网络被划分为可以通过位置和转换融合进行交互的模块。第一个变化是平面模块结构被完全嵌套的模块（称为位置）所取代。位置的嵌套提供了位置的概念，而它们的融合上下文决定了它们的连接性。构成位置的转换受到约束，以便我们可以确定位置何时被子系统占用，以及子系统何时从一个位置移动到另一个位置。形式主义的无色版本在概念上更简单，而彩色版本则迎合了更动态的配置，并有助于识别可能适合垃圾收集的孤立子系统。关于整个系列，请参见[Zbl 1089.68015号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{C.A.Lakos}，莱克特。注释计算。科学。3731174-188（2005年；Zbl 1169.68547） 全文： 内政部