Algebraic high-level net transformation systems
From MaRDI portal
Publication:4856661
DOI10.1017/S0960129500000724zbMath0839.68068MaRDI QIDQ4856661
Leila Ribeiro, Hartmut Ehrig, Julia Padberg
Publication date: 10 June 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (15)
Petri net modules in the transformation-based component framework ⋮ Canonical derivations for high-level replacement systems ⋮ A decade of TAPSOFT ⋮ Parallel high-level replacement systems ⋮ Horizontal and vertical structuring techniques for statecharts ⋮ Transformations in Reconfigurable Place/Transition Systems ⋮ Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes ⋮ Workshop on Petri Nets and Graph Transformations ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ Formal relationship between graph grammars and Petri nets ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Visual Design of Software Architecture and Evolution based on Graph Transformation ⋮ Basic Results for Two Types of High-Level Replacement Systems ⋮ Towards a Formal Framework for Inter-Enterprise Application Integration ⋮ Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
This page was built for publication: Algebraic high-level net transformation systems
