LAUSR

Dynamic Slicing of Time Petri Net Based on MTL Property

Sign Up to like & get
recommendations!
2 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