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

by Luis Filipe Santos Gomes and Filipe De Carvalho Moutinho

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 this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors' approach uses models not only...

• Format: Paperback
• Language: English
• ISBN: 3319208217
• ISBN13: 9783319208213
• Release Date: October 2015
• Publisher: Springer
• Length: 79 Pages
• Weight: 0.31 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"