Combining Free Choice and Time in Petri Nets.

S. Akshay, Loc Hlout, Ramchandra Phawade

Browse the full TIME paper archive.