@inproceedings{jahns2002modification,
	title = {On Modification In Petri Nets},
	author = {Jahns, Roger and Becker, Matthias and Bessey, Thomas and Szczerbicka, Helena},
	booktitle = {Proc. Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS)},
	year = {2002},
	papertype = {fullpaper}
}