Preserving properties in system redesign: rule-based approach.

DOI10.1007/B94458MaRDI QIDQ5900836zbMATH OpenOpenAlexFDO

Authors Milan Urbášek

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Rule-based refinement of high-level nets preserving safety properties
• Structure and behavior preservation by Petri-net-based refinements in system design
• Algebra and Coalgebra in Computer Science
• Rule-based refinement of Petri nets: A survey
• scientific article; zbMATH DE number 1504840

Cited in

(2)

• Algebra and Coalgebra in Computer Science
• Rule-based refinement of high-level nets preserving safety properties

This page was built for publication: Preserving properties in system redesign: rule-based approach.

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