@inproceedings {ASCONIKK2014_HajduEtAl,
	title = {Petri Net Based Trajectory Optimization},
	booktitle = {ASCONIKK 2014: Extended Abstracts. Future Internet Services},
	year = {2014},
	month = {12/2014},
	pages = {11-19},
	publisher = {University of Pannonia},
	organization = {University of Pannonia},
	address = {Veszpr{\'e}m, Hungary},
	abstract = {<p>
	Optimization problems are becoming more prevalent in the design of complex systems. Petri nets are widely used for the modeling of such systems. An optimization problem can be translated to find an optimal trajectory where a cost is assigned to each step. The reachability problem of Petri nets answers whether a given state is reachable from the initial state. However, reachability analysis is a computationally hard problem, especially in the case of asynchronous or infinite state systems. In this paper we examine a recently published algorithm that solves reachability using abstraction methods and we extend this approach to be able to handle optimal trajectory problems.</p>
},
	author = {{\'A}kos Hajdu and R{\'o}bert N{\'e}met and Szilvia Varr{\'o}-Gyapay and Andr{\'a}s V{\"o}r{\"o}s}
}
