On Liveness Enforcement of Distributed Petri Net Systems

DOI10.1109/TAC.2022.3198328arXiv2012.14199OpenAlexW3116916299MaRDI QIDQ6056440

Cristian Mahulea, Unnamed Author, Manuel Silva

Publication date: 2 October 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.14199

zbMATH Keywords

discrete-event systemsdistributed algorithmssystem testing

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: On Liveness Enforcement of Distributed Petri Net Systems