Dynamic Slicing of Time Petri Net Based on MTL Property
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3170094
Abstract: The time Petri net (TPN) is a powerful tool for modeling, simulating, and verifying real-time systems. Unfortunately, the state spaces of the time Petri net grow exponentially due to the complexity of real-time systems. The… read more here.
Keywords: time; state; time petri; mtl ... See more keywords
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.3044520
Abstract: This article investigates the enforcement of generalized mutual exclusion constraints (GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable transitions, motivated by the fact that the existing methods enforcing GMECs may degrade… read more here.
Keywords: gmecs; time petri; deadlock; closed loop ... See more keywords