direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Flattening Generalized Algebraic High-Level Nets
Zitatschlüssel EP08
Autor Ehrig, H. and Prange, U.
Seiten 151–160
Jahr 2008
ISBN ISSN 0252-9742
Journal BEATCS
Jahrgang 94
Zusammenfassung The flattening is a well-known construction from high-level to low-level nets. Moreover, this construction is known to be a functor from the category AHLNets(SP;A) of algebraic high-level nets with fixed specification and algebra part to the category PTNets of place/transition nets. In this paper, we extend the flattening construction to generalized algebraic high-level nets, where the specification, the algebra part and the net structure may be changed by morphisms. The main result shows under which condition this generalized flattening construction preserves pushouts.
Link zur Publikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008