@conference {77,
	title = {A Semantics for Every GSPN},
	booktitle = {Petri Nets 2013},
	series = {Lecture Notes in Computer Science},
	volume = {7927},
	year = {2013},
	pages = {90{\textendash}109},
	publisher = {Springer},
	organization = {Springer},
	author = {Christian Eisentraut and Holger Hermanns and Joost-Pieter Katoen and Lijun Zhang}
}