Liveness Enforcement for Time Petri Nets

This paper addresses the liveness enforcement problem of time Petri nets through the control of time intervals of transitions. We design a structure named a critical state class graph, whose nodes contain the critical constraints of the time intervals of transitions. Then, we propose an algorithm to...

Full description

Saved in:
Bibliographic Details
Published in2022 8th International Conference on Control, Decision and Information Technologies (CoDIT) Vol. 1; pp. 1184 - 1189
Main Authors Qin, Tao, Dong, Yifan, Yin, Li, Wu, Naiqi, Li, Zhiwu
Format Conference Proceeding
LanguageEnglish
Published IEEE 17.05.2022
Subjects
Behavioral sciences
Computational modeling
Discrete event system
Information technology
Linear programming
liveness enforcement
Petri nets
State estimation
Time factors
time interval control
time Petri net
Online AccessGet full text

Cover

More Information
Summary:This paper addresses the liveness enforcement problem of time Petri nets through the control of time intervals of transitions. We design a structure named a critical state class graph, whose nodes contain the critical constraints of the time intervals of transitions. Then, we propose an algorithm to control the time intervals of controllable transitions such that a non-live time Petri net can be transformed into a live time Petri net. The results show that a maximally permissive solution of liveness enforcement can be computed if it exists.
ISSN:2576-3555
DOI:10.1109/CoDIT55151.2022.9804054