Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.  This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools.  To support thi...

Full description

Main Authors: Moutinho, Filipe de Carvalho. (Author, http://id.loc.gov/vocabulary/relators/aut), Santos Gomes, Luís Filipe. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Series:SpringerBriefs in Electrical and Computer Engineering, 150
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-20822-0