direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Zitatschlüssel EHP+07
Autor Ehrig, H. and Hoffmann, K. and Padberg, J. and Prange, U. and Ermel, C.
Buchtitel Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
Seiten 104–123
Jahr 2007
Jahrgang 4546
Herausgeber Jetty Kleijn and Alex Yakovlev
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 of the environment. In this paper we use transformation rules for place/transition systems in the sense of the double pushout approach for graph transformation. The main problem in this context is to analyze under which conditions net transformations and token firing can be executed in arbitrary order. This problem is solved in the main theorems of this paper. Reconfigurable place/transition systems are applied in a mobile network scenario.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe