Cím | Optimization in Graph Transformation Systems Using Petri Net Based Techniques |
Közlemény típusa | Journal Article |
Kiadás éve | 2006 |
Szerzők | Varró-Gyapay, S., and Varró, D. |
Folyóirat | Electronic Communications of the EASST (ECEASST) |
Kötet | 2 |
ISSN | 1863-2122 |
Kulcsszavak | graph transformation, optimization, Petri nets, verification |
Összefoglalás | The 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. |
Jegyzetek | Selected papers of Workshop on Petri Nets and Graph Transformations |
URL | http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/61/33 |