Controller synthesis with very simplified linear constraints in PN model

TL;DR

This paper introduces a systematic approach to synthesize simplified controllers for Petri net models by using linear constraints and Petri net invariants, effectively managing forbidden states in discrete event systems.

Contribution

It presents a novel method to construct very simplified controllers for Petri nets using partial invariants, reducing complexity compared to traditional approaches.

Findings

Efficient construction of simplified controllers using linear constraints.

Maximal permissive controllers determined via Petri net invariants.

Reduction in control places and constraints for forbidden states.

Abstract

This paper addresses the problem of forbidden states for safe Petri net modeling discrete event systems. We present an efficient method to construct a controller. A set of linear constraints allow forbidding the reachability of specific states. The number of these so-called forbidden states and consequently the number of constraints are large and lead to a large number of control places. A systematic method for constructing very simplified controller is offered. By using a method based on Petri nets partial invariants, maximal permissive controllers are determined.