Download Distributed Embedded Controller Development With Petri Nets: Application To Globally Asynchronous Locally Synchronous Systems 2016