EYT Juan, JJP Tsai, T Murata, Y Zhou - IEEE Transactions on Software …, 2001 - dl.acm.org
This paper presents a new net-reduction methodology to facilitate the analysis of real-time
systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important …