@inproceedings {DBLP:conf/apn/MolnarM19,
	title = {Saturation Enhanced with Conditional Locality: Application to Petri Nets},
	booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings},
	year = {2019},
	month = {06/2019},
	pages = {342{\textendash}361},
	doi = {10.1007/978-3-030-21571-2\_19},
	url = {https://doi.org/10.1007/978-3-030-21571-2\_19},
	author = {Vince Moln{\'a}r and Istv{\'a}n Majzik}
}
