The following publications are possibly variants of this publication:
- On-the-fly TCTL model checking for time Petri netsRachid Hadjidj, Hanifa Boucheneb. TCS, 410(42):4241-4261, 2009. [doi]
- TCTL Model Checking of Time Petri NetsHanifa Boucheneb, Guillaume Gardey, Olivier H. Roux. logcom, 19(6):1509-1540, 2009. [doi]
- Improving state class constructions for CTL* model checking of time Petri netsRachid Hadjidj, Hanifa Boucheneb. STTT, 10(2):167-184, 2008. [doi]
- ::::CTL:::::::*::: model checking for time Petri netsHanifa Boucheneb, Rachid Hadjidj. TCS, 353(1-3):208-227, 2006. [doi]