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

persistenceVLSI circuitsPetri netstep transition systemGALS systemglobally asynchronous locally synchronous system

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

• scientific article; zbMATH DE number 3471613 (Why is no real title available?)
• scientific article; zbMATH DE number 3273524 (Why is no real title available?)
• A taxonomy of persistent and nonviolent steps
• Decomposition Theorems for Bounded Persistent Petri Nets
• 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
• 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
• Persistent and nonviolent steps and the design of GALS systems

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)