Rule-based refinement of high-level nets preserving safety properties

DOI10.1016/S0167-6423(00)00022-8MaRDI QIDQ5931382zbMATH OpenFDO

Authors J. Padberg, M. Gajewsky, Claudia Ermel

Publication date 7 October 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0167-6423(00)00022-8

zbMATH Keywords

rule-based modificationvertical structuring of Petri nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1504840
• Rule-based refinement of Petri nets: A survey
• Preserving properties in system redesign: rule-based approach.
• Structure and behavior preservation by Petri-net-based refinements in system design
• Refining and verifying regular Petri nets

Cited in

(8)

• Clustering for Petri nets
• Transformations in Reconfigurable Place/Transition Systems
• scientific article; zbMATH DE number 2016085 (Why is no real title available?)
• scientific article; zbMATH DE number 1504840 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Rule-based refinement of Petri nets: A survey
• Preserving properties in system redesign: rule-based approach.
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

Describes a project that uses

Uses Software

• Design/CPN

This page was built for publication: Rule-based refinement of high-level nets preserving safety properties

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