Dead Transitions Analysis and Resolution in Dual-Time Petri Nets.

Shu Zhang, Ruotian Liu, Yufeng Chen, Maria Pia Fanti, Wei Wei, Boyu Dong

Browse the full VECoS paper archive.