@INPROCEEDINGS{JantzenZetzsche2008a,
	AUTHOR		= {Jantzen, Matthias and Zetzsche, Georg},
	TITLE		= {Labeled Step Sequences in Petri Nets},
	BOOKTITLE	= {Proc. of the International Conference on Applications and Theory of Petri nets (PETRI NETS 2008)},
	ADDRESS		= {Berlin Heidelberg},
	YEAR		= {2008},
	PAGES		= {270--287},
	EDITOR		= {van Hee, Kees M. and Valk, R{\"u}diger},
	PUBLISHER	= {Springer},
	VOLUME		= {5062},
	SERIES		= {LNCS},
	DOI		= {10.1007/978-3-540-68746-7_19}
}