Enforcing transition deadlines in time Petri nets.

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi

Browse the full ETFA paper archive.