Step persistence in the design of GALS systems

DOI10.1007/978-3-642-38697-8_11MaRDI QIDQ5300872zbMATH OpenOpenAlexFDO

Authors Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev

Publication date 28 June 2013

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=190093/FC2DE0A4-5D3C-4AA2-9AEF-D388079CB6DD.pdf&pub_id=190093

zbMATH Keywords

GALS systemglobally asynchronous locally synchronous systempersistencePetri netstep transition systemVLSI circuits

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Persistent and nonviolent steps and the design of GALS systems
• A taxonomy of persistent and nonviolent steps
• An extension of the taxonomy of persistent and nonviolent steps
• Synthesis of Petri nets with localities
• scientific article; zbMATH DE number 2017356

Cites work

• A taxonomy of persistent and nonviolent steps
• Decomposition Theorems for Bounded Persistent Petri Nets
• scientific article; zbMATH DE number 3471613 (Why is no real title available?)
• scientific article; zbMATH DE number 3273524 (Why is no real title available?)
• Levels of persistency in place/transition nets
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
• On persistent reachability in Petri nets
• Properties of Conflict-Free and Persistent Petri Nets
• Separability in Persistent Petri Nets

Cited in

(5)

• An extension of the taxonomy of persistent and nonviolent steps
• Persistent and nonviolent steps and the design of GALS systems
• Non-atomic transition firing in contextual nets
• scientific article; zbMATH DE number 5506889 (Why is no real title available?)
• A taxonomy of persistent and nonviolent steps

This page was built for publication: Step persistence in the design of GALS systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300872)