Feedback control logic synthesis for non safe Petri nets

TL;DR

This paper presents a new method for synthesizing feedback control logic in non-safe Petri nets to prevent forbidden states, enabling the construction of maximally permissive controllers for discrete event systems.

Contribution

It introduces a novel approach for computing predicates in non-safe Petri nets, facilitating the synthesis of maximally permissive controllers.

Findings

Method effectively prevents forbidden states in non-safe Petri nets.

Enables construction of maximally permissive controllers.

Applicable to complex discrete event systems.

Abstract

This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing predicates in non safe Petri nets will be presented. Using this method, we can construct a maximally permissive controller if it exists.