Francesco Basile

1. On the Implementation of Supervised Control of Discrete Event Systems
   2007/06/28 by Francesco Basile, Pasquale Chiacchio · 2 citations
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Formal Methods in Verification #Petri Nets in System Modeling