Model Checking of Time Petri Nets
Hanifa Boucheneb, Rachid Hadjidj · 2008
In this chapter, we presented and discussed model checking techniques of time Petri nets. We pointed out some strategies which allow to make model checking techniques more efficient. For model checking LTL properties, we proposed a contraction for the state class