Distributed Embedded Controller Development with Petri Nets

Book Name: Distributed Embedded Controller Development with Petri Nets
Author: Filipe Moutinho, Luís Gomes
Publisher: Springer International Publishing
ISBN-10: 3319208217
Year: 2016
Pages: 92
Language: English
File size: 3.36 MB
File format: PDF

Distributed Embedded Controller Development with Petri Nets Pdf Book Description:

This publication refers to a model-based growth strategy for globally-asynchronous locally-synchronous dispersed embedded controllers. This strategy utilizes Petri nets as modeling formalism to make network and platform independent versions behind the utilization of design automation programs. To encourage this growth strategy, the Petri nets course in usage is prolonged using time-domains and asynchronous-channels.

The authors’ strategy utilizes models not only supplying a better knowledge of the spread controller and enhancing the communication among the stakeholders, but also to be prepared to support the whole lifecycle, for example, simulation, the affirmation (using model-checking tools), the execution (relying upon automatic code generators), along with also the installation of the distributed controller into certain platforms.

Uses a graphic and intuitive modeling formalism backed by design automation tools;

Gives flexibility in the implementation and maintenance periods to accomplish desirable limitations (high performance, low energy consumption, reduced prices ), allowing porting to various platforms with different communicating nodes, without altering the underlying behavioral design.