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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Citations (Scopus)

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.
Original languageUnknown
Title of host publicationIFIP Advances in Information and Communication Technology
Pages143-150
Volume372
DOIs
Publication statusPublished - 1 Jan 2012
Event3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems -
Duration: 1 Jan 2012 → …

Conference

Conference3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems
Period1/01/12 → …

Cite this