|
SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
@ARTICLE{pngt2006-gyapay-varro,
title = {{Optimization in Graph Transformation Systems Using Petri Net Based Techniques}},
author = {{Szilvia} {Varr\'o-Gyapay} and {D\'aniel} {Varr\'o}},
journal = {Workshop on Petri Nets and Graph Transformations},
note = {Selected papers from the Workshop on Petri Nets and Graph Transformations},
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 typically formulated as a combined optimization and reachability analysis. In the current paper, we show how this problem can be formalized when the evolution of the system is captured by graph transformation systems (GTS) with a cost parameter attached to each graph transformation rule denoting the cost of firing the rule. Furthermore, we discuss how to solve such problems by combining guided state space exploration with algebraic techniques of Petri nets.},
volume = {2},
year = {2007},
keywords = {graph transformation, optimization, Petri nets, verification},
partner = {BUTE},
task = {T3.4, T7.1},
}
|
