@inproceedings {marussy2017getting,
	title = {Getting the Priorities Right: Saturation for Prioritised Petri Nets},
	booktitle = {International Conference on Applications and Theory of Petri Nets and Concurrency},
	year = {2017},
	pages = {223{\textendash}242},
	publisher = {Springer},
	organization = {Springer},
	author = {Marussy, Krist{\'o}f and Vince Moln{\'a}r and Andr{\'a}s V{\"o}r{\"o}s and Istv{\'a}n Majzik}
}
