direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Transformations in Reconfigurable Place/Transition Systems
Zitatschlüssel PEHP08
Autor Ulrike Prange and Hartmut Ehrig and Kathrin Hoffman and Julia Padberg
Buchtitel Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Seiten 96–113
Jahr 2008
ISBN 978-3-540-68676-7
Jahrgang 5065
Herausgeber Degano, P. and De Nicola, R. and Meseguer, J.
Verlag SPRINGER
Serie LNCS
Zusammenfassung Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements. For the transformation of Petri nets in the double pushout approach, the categorical framework of adhesive high-level replacement systems has been instantiated to Petri nets. In this paper, we show that also place/transition systems form a weak adhesive high-level replacement category. This allows us to apply the developed theory also to tranformations within reconfigurable place/transition systems.
Link zur Publikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008