Distributed embedded systems design using Petri nets

This paper presents a model-based development approach for distributed embedded systems, supported by design automation tools (available online at http://gres.uninova.pt/). The development approach considers the distributed system specification through a single Petri net model, which includes synchronous components specification and their asynchronous interaction. This specification supports the use of model-checking tools to verify behavioral proprieties and to provide additional information about the required resources to implement the distributed components and their communication channels. The global specification with the additional information supports the use of code generation tools to automatically generate the implementation code (of the synchronous components and communication channels) for software and hardware platforms based on micro-controllers and/or FPGAs.