Enforcing transition deadlines in time Petri nets.

Mon, 01 Jan 2007 00:00:00 +0100

Haisheng Wang, Liviu Grigore, Ugo A. Buy, Houshang Darabi:
Enforcing transition deadlines in time Petri nets. ETFA 2007: 604-611