Distributed Embedded Controller Development With Petri Nets ― Application to Globally-asynchronous Locally-synchronous Systems

This book describes a model-based development (MBD) approach for distributed embedded controllers (DEC). This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. The authors’ approach uses models not only to raise the level of abstraction of the specification (providing a better understanding of the distributed controller and improving the communication among the stakeholders) but also to support other development phases, such as the simulation (using simulation tools), the verification (using model checking tools) and the implementation (using automatic code generators) and the deployment of the distributed controller into specific platforms.