Relaxed Unfolding for Time Petri Nets
Franck Carlos Vélez Benito, Luis Allan Künzle · 2013
State Class Graph is a very useful tool to analyse Time Petri nets properties. It generates however a states explosion problem in large Petri nets. This can be overcome by using unfolding technique, which still imposes restrictions on time analysis. This paper proposes a relaxation in the unfolding process, which generates a new occurrence net, in which all temporal sequences are preserved.