Optimization in Graph Transformation Systems Using Petri Net Based Techniques

TitleOptimization in Graph Transformation Systems Using Petri Net Based Techniques
Publication TypeJournal Article
Year of Publication2006
AuthorsVarró-Gyapay, S., and Varró, D.
JournalElectronic Communications of the EASST (ECEASST)
Volume2
ISSN1863-2122
Keywordsgraph transformation, optimization, Petri nets, verification
AbstractThe design of business or production systems frequently necessitates to simultaneously fulfill several logical and numerical constraints as requirements in order to deliver a functionally correct and optimal system. Such a problem can be tipically formulated as a combined optimization and reachability analysis. In the current paper, we show how this problem can be formalized and solved in those cases where the evolution of the system is captured by graph transformation systems (GTS) in that a cost parameter is attached to each graph transformation rule denoting the cost of firing that rule.
NotesSelected papers of Workshop on Petri Nets and Graph Transformations
URLhttp://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/61/33