Towards Efficient Partial Order Techniques for Time Petri Nets.

Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li

Browse the full VECoS paper archive.