@INPROCEEDINGS{JantzenKudlekZetzsche2007,
	AUTHOR		= {Jantzen, Matthias and Kudlek, Manfred and Zetzsche, Georg},
	TITLE		= {Finite Automata Controlled by {Petri} Nets},
	BOOKTITLE	= {Proc. of the 14th Workshop Algorithmen und Werkzeuge f{\"u}r Petrinetze (AWPN 2007)},
	EDITOR		= {Philippi, Stephan and Pinl, Alexander},
	NOTE		= {Technical Report Nr. 25/2007},
	PAGES		= {57--62},
	PUBLISHER	= {Universit{\"a}t Koblenz-Landau},
	YEAR		= {2007}
}