1. Introduction to Discrete Event Systems;Cassandras,2008
2. On the existence of regular approximations;Cordy;Theoretical Computer Science,2007
3. Approximate recognition of non-regular languages by finite automata;Eisman;Twenty-Eighth Australasian Conference on Computer Science,2005
4. Supervisory Control of Petri Nets with Language Specifications;Giua,2013
5. Blocking and controllability of petri nets in supervisory control;Giua;IEEE Transactions on Automatic Control,1994