Frm Ptr Nts t Grph Trnsfrmtn Sstms -- A Contribution in Honour of Hans-Jörg Kreowski (2009)
by
Paolo Baldan
,
Andrea Corradini
,
Fabio Gadducci
,
Ugo Montanari
BibTeX
@MISC{Baldan09frmptr,
author = {Paolo Baldan and Andrea Corradini and Fabio Gadducci and Ugo Montanari},
title = {Frm Ptr Nts t Grph Trnsfrmtn Sstms -- A Contribution in Honour of Hans-Jörg Kreowski},
year = {2009}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Hans-Jörg Kreowski was among the first researchers to point out that P/T Petri nets can be interpreted as instances of Graph Transformation Systems, a fact now considered folklore. We elaborate on this observation, discussing how several different models of Petri nets can be encoded faithfully into Graph Transformation Systems. The key idea we pursue is that the net encoding is uniquely determined, and distinct net models are mapped to alternative approaches to graph transformation.
