@article {pngt2006-vv,
	title = {Optimization in Graph Transformation Systems Using Petri Net Based Techniques},
	journal = {Electronic Communications of the EASST (ECEASST)},
	volume = {2},
	year = {2006},
	note = {Selected papers of Workshop on Petri Nets and Graph Transformations},
	publisher = {EASST},
	abstract = {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.},
	keywords = {graph transformation, optimization, Petri nets, verification},
	issn = {1863-2122},
	url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/61/33},
	author = {Szilvia Varr{\'o}-Gyapay and D{\'a}niel Varr{\'o}},
	editor = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Rozenberg, Grzegorz}
}
