Synthesis of Persistent Systems

DOI10.1007/978-3-319-07734-5_7MaRDI QIDQ5166759zbMATHOpenAlexFDO

Authors Eike Best, Raymond Devillers

Publication date 8 July 2014

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

Full work available at URL https://doi.org/10.1007/978-3-319-07734-5_7

zbMATH Keywords

Petri netspersistencylabelled transition systemsParikh vectorssystem synthesisregion theorycyclic behaviourreengineering

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synthesis and reengineering of persistent systems
• Synthesis of live and bounded persistent systems
• Uniformly Persistent Systems
• Synthesizing robust systems
• Synthesis of Asynchronous Systems
• Synthesis of succinct systems
• Synthesis of succinct systems
• scientific article; zbMATH DE number 2086659
• scientific article; zbMATH DE number 3956418
• Synthesis and equivalence of concurrent systems

Cites work

• scientific article; zbMATH DE number 1302048 (Why is no real title available?)
• A decomposition theorem for finite persistent transition systems
• Characterisation of the state spaces of live and bounded marked graph Petri nets
• Petri net distributability
• Petri net synthesis
• Properties of Conflict-Free and Persistent Petri Nets

Cited in

(10)

• Synthesis of succinct systems
• Synthesis of (choice-free) reset nets
• State space axioms for T-systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 2086659 (Why is no real title available?)
• Bounded choice-free Petri net synthesis: algorithmic issues
• Characterisation of the state spaces of marked graph Petri nets
• Synthesis of live and bounded persistent systems
• Target-oriented Petri net synthesis
• Synthesis and reengineering of persistent systems

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Synthesis of Persistent Systems

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