论文标题
关于分布式培养皿净系统的易受执行
On Liveness Enforcement of Distributed Petri Net Systems
论文作者
论文摘要
本文考虑了一类Petri Nets（PNS）建模的分布式系统（称为同步顺序过程（SSP））中的LIVISE执行问题。这类PNS定义为一组单标记状态机器（顺序机器，称为代理），以通过缓冲液分布式方式合作。这些缓冲区可以在医疗保健系统中的生产系统或信息渠道中对中间产品进行建模，但它们应该是代理商的私人目的地。针对Livices执行的设计控制器应保留分布式系统的这一重要属性。本文中的方法是基于对照PN的构建，该控制PN是T-秒和缓冲区关系的抽象。控制PN将与系统并行演变，避免发射可能导致系统到生计的过渡。提出了一种计算此控制PN的算法。此外，为了确保控制PN的透露能力，提出了另一种算法，允许以正确比例的比例触发局部t-semiflow。最后，还提出了用于指导系统演化的算法。
This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs is defined as a set of mono-marked state machines (sequential machines, called also agents) cooperating in a distributed way through buffers. These buffers could model intermediate products in a production system or information channel in a healthcare system but they should be destination private to an agent. The designed controller for liveness enforcement should preserve this important property characteristic to the distributed systems. The approach in this paper is based on the construction of a control PN that is an abstraction of the relations of the T-semiflows and buffers. The control PN will evolve in parallel with the system, avoiding the firing of transitions that may lead the system to livelock. An algorithm to compute this control PN is presented. Moreover, in order to ensure the liveness of control PN, another algorithm is proposed allowing the firing of local T-semiflow in the correct proportion. Finally, an algorithm for guiding the system evolution is also proposed.
