Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

DOI10.1007/11780274_13MaRDI QIDQ5757943zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Ulrike Prange

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Adhesive high-level replacement systems: a new categorical framework for graph transformation
• Towards algebraic high-level systems as weak adhesive HLR categories
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Graph Transformations
• Adhesivity with partial maps instead of spans

Cited in

(15)

• Single pushout rewriting in comprehensive systems of graph-like structures
• Comprehensive systems: a formal foundation for multi-model consistency management
• Towards algebraic high-level systems as weak adhesive HLR categories
• Van Kampen colimits as bicolimits in Span
• Adhesivity with partial maps instead of spans
• Adhesive high-level replacement systems: a new categorical framework for graph transformation
• Transformations in Reconfigurable Place/Transition Systems
• Grammar Morphisms and Weakly Adhesive Categories
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Towards Secrecy for Rewriting in Weakly Adhesive Categories
• Graph Transformations
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• Left-linear rewriting in adhesive categories
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
• Construction and properties of adhesive and weak adhesive high-level replacement categories

This page was built for publication: Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

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