On Liveness Enforcement of Distributed Petri Net Systems

• 成果类型: Article
• 署名作者: Clavel, Daniel; Mahulea, Cristian; Silva, Manuel
• 署名单位: University of Zaragoza
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3198328
• 发表日期: 2023
• 页码: 3776-3782
• 关键词: Petri nets; Synchronization; FORCE; PROCESS CONTROL; Medical tests; control systems; time complexity; Discrete-event systems; Distributed algorithms; system testing

摘要

In this article, we consider the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems. They are called synchronized sequential processes. The presented design algorithm is based on the construction of a control PN, an abstraction of the relations of the T-semiflows, and buffers of the original nonstructurally live PN. The control PN evolves in parallel with the system, avoiding the firing of transitions that may lead the system to nonliveness. Four algorithms are presented, one allowing for the computation of the control PN and three ensuring its liveness.