Synthesis of Persistent Systems

DOI10.1007/978-3-319-07734-5_7MaRDI QIDQ5166759zbMATH OpenOpenAlexFDO

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

cyclic behaviourlabelled transition systemsParikh vectorspersistencyPetri netsreengineeringregion theorysystem synthesis

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
• Synthesis of uninitialized systems
• scientific article; zbMATH DE number 3956418
• Synthesis and equivalence of concurrent systems

Cites work

• 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
• Theory of regions

Cited in

(10)

• Bounded choice-free Petri net synthesis: algorithmic issues
• Synthesis of (choice-free) reset nets
• Synthesis and reengineering of persistent systems
• State space axioms for T-systems
• Synthesis of succinct systems
• Synthesis of live and bounded persistent systems
• Synthesis of uninitialized systems
• Target-oriented Petri net synthesis
• Characterisation of the state spaces of marked graph Petri nets
• Towards design recovery from observations

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)