Model Checking of Time Petri Nets [chapter]

Hanifa Boucheneb, Rachid Hadjidj
2008 Petri Net, Theory and Applications  
This paper considers time Petri nets (TPN model) for model checking. The main challenge in model checking techniques is to construct, with lesser resources (time and space), a much coarser abstraction preserving properties of interest. These properties can be verified using standard model checking techniques. In this paper, we review some techniques, proposed in the literature, to model check untimed and timed properties of the TPN.
doi:10.5772/5318 fatcat:pysq5f73l5cczgqnqayat3slv4