P Chariyathitipong,
W Vatanawood - IEEE Access, 2022 - ieeexplore.ieee.org
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 …