Categorical approach to horizontal structuring and refinement of high-level replacement systems
type: Item
instance of: scholarly article
title: Categorical approach to horizontal structuring and refinement of high-level replacement systems
zbMATH Open document ID: 0941.18001
DOI: 10.1023/A:1008695316594
author: J. Padberg
published in: Applied Categorical Structures
publication date: 2000-08-03T00:00:00Z
Mathematics Subject Classification ID: 18A10
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 94C99
Mathematics Subject Classification ID: 18A30
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1423562
zbMATH Keywords: graph transformations
zbMATH Keywords: Petri net transformations
zbMATH Keywords: horizontal structuring
zbMATH Keywords: high-level replacement systems
zbMATH Keywords: graph grammars
zbMATH Keywords: refinement
zbMATH Keywords: requirements engineering
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1423562