Skip to Main content Skip to Navigation
Conference papers

Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems

Abstract : A specific class of Petri nets was extended with Asynchronous-Channels (ACs) and Time-Domains (TDs) to support Globally-Asynchronous Locally-Synchronous (GALS) systems’ modeling, analysis and implementation. This non-autonomous class of Petri nets is targeted to support the development of automation and embedded systems using a model-based development approach. It benefits from a tool chain framework previously developed, covering the whole development flow, from specification to hardware and software deployment. With the extended Petri net class is possible to model GALS systems, and use the specification to generate the corresponding state space supporting the behavior verification and providing valuable information for implementation.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01365579
Contributor : Hal Ifip <>
Submitted on : Tuesday, September 13, 2016 - 3:22:04 PM
Last modification on : Thursday, June 4, 2020 - 6:26:03 PM
Long-term archiving on: : Wednesday, December 14, 2016 - 1:41:10 PM

File

978-3-642-28255-3_16_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Filipe Moutinho, Luís Gomes. Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.143-150, ⟨10.1007/978-3-642-28255-3_16⟩. ⟨hal-01365579⟩

Share

Metrics

Record views

147

Files downloads

447