Algebraic high-level net transformation systems

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)

zbMATH Keywords

Petri netshigh-level replacement systemsalgebraic high-level nets

Mathematics Subject Classification ID

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