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

DOI10.1016/S0167-6423(00)00022-8zbMath0969.68109MaRDI QIDQ5931382

M. Gajewsky, Julia Padberg, Claudia Ermel

Publication date: 7 October 2001

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

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)

Related Items (4)

Clustering for Petri nets ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ GETGRATS

Uses Software

• Design/CPN

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