@inproceedings{becker2001property,
	title = {Property-Conserving Transformations in PNiQ (Petri Nets including Queueing Networks)},
	author = {Becker, Matthias},
	booktitle = {Computer Science and Engineering: Invited Session on Modelling and Analysis based on Petri nets},
	year = {2001},
	papertype = {fullpaper}
}