Supervisory Control of Time Petri Nets Using Net Unfolding.

Ugo A. Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally

Browse the full COMPSAC paper archive.