Journal Papers

On the Notion of Uncontrollable Marking in Supervisory Control of Petri Nets

accepted, IEEE Transactions on Automatic Control