The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Merging and Splitting Petri Net Models within Distributed Embedded Controller Design
|
|
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
|
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.
|
|
|