Subobject transformation systems

DOI10.1007/s10485-008-9127-6zbMath1153.18002OpenAlexW2052048252MaRDI QIDQ934672

Andrea Corradini, Paweł Sobociński, Frank Hermann

Publication date: 30 July 2008

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-008-9127-6

zbMATH Keywords

adhesive categoriesgraph transformation systemsoccurence grammars

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categories of machines, automata (18B20)

Related Items

Unnamed Item, Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions, Processes and unfoldings: concurrent computations in adhesive categories, Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions, A categorial approach to reaction systems: first steps, Transformations of reaction systems over categories by means of epi-mono factorization and functors

Cites Work

• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• The geometry of tensor calculus. I
• Higher categories, strings, cubes and simplex equations
• Fundamentals of algebraic graph transformation
• General Reversibility
• The non-sequential behaviour of Petri nets
• Sesqui-Pushout Rewriting
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Adhesive and quasiadhesive categories
• Foundations of Software Science and Computation Structures