IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design
View Sample PDF
Author(s): Luis Gomes (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal), Anikó Costa (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal), João Paulo Barros (Instituto Politécnico de Beja, Portugal & UNINOVA-CTS, Portugal), Filipe Moutinho (Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal) and Fernando Pereira (Instituto Politécnico de Lisboa, Portugal & UNINOVA-CTS, Portugal)
Copyright: 2013
Pages: 24
Source title: Embedded Computing Systems: Applications, Optimization, and Advanced Design
Source Author(s)/Editor(s): Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia) and Antonio Valentini (O3neida Europe, Belgium)
DOI: 10.4018/978-1-4666-3922-5.ch009

Purchase

View Merging and Splitting Petri Net Models within Distributed Embedded Controller Design on the publisher's website for pricing and purchasing information.

Abstract

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).

Related Content

Kamalendu Pal. © 2020. 22 pages.
Chetna Gupta, Surbhi Singhal, Astha Kumari. © 2020. 12 pages.
Sudha Srinivasan, D. S. Chauhan. © 2020. 16 pages.
Priyanka Chandani, Chetna Gupta. © 2020. 30 pages.
Chamundeswari Arumugam, Srinivasan Vaidyanathan. © 2020. 13 pages.
Varun Gupta, Aditya Raj Gupta, Utkarsh Agrawal, Ambika Kumar, Rahul Verma. © 2020. 15 pages.
Vimaladevi M., Zayaraz G.. © 2020. 25 pages.
Body Bottom