Grammar Morphisms and Weakly Adhesive Categories

Tobias Heindel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In the area of specification and modelling of concurrent systems, Petri nets have become a standard tool, and they still work behind the scenes in tools for graph transformation systems (cf. [1]). Moreover there is still potential for crossfertilization between the graph transformation and Petri net community. Even a better understanding of adhesive categories [2] and the related concepts of [3] seems possible in light of the proposed notion of weakly adhesive categories [4], which has emerged during work on the generalization of the co-reflective semantics of Petri nets to the realm of graph transformation and adhesive rewriting systems.
Original languageEnglish
Title of host publicationGraph Transformations
Subtitle of host publication4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
PublisherSpringer Berlin Heidelberg
Pages493-495
Number of pages3
Volume5214
ISBN (Electronic)978-3-540-87405-8
ISBN (Print)978-3-540-87404-1
DOIs
Publication statusPublished - 2008

Fingerprint Dive into the research topics of 'Grammar Morphisms and Weakly Adhesive Categories'. Together they form a unique fingerprint.

Cite this