@article{GT-VMT-2012-GabrielLE,
	author        = "Karsten Gabriel and Pascal Lingnau and Claudia Ermel",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/719",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Algebraic Approach to Timed Petri Nets}",
	volume        = 47,
	year          = 2012,
}