Ugo Buy, Houshang Darabi, Mihai Lehene, Vikram Venepally. Supervisory Control of Time Petri Nets Using Net Unfolding. In 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), 25-28 July 2005, Edinburgh, Scotland, UK. pages 97-100, IEEE Computer Society, 2005. [doi]
Abstract is missing.