@inproceedings{ juhas03synchronicity,
	author = "Gabriel Juh{\' a}s, Robert Lorenz, Tom{\' a}{\v s} {\v S}ingliar",
	title = "On synchronicity and concurrency in Petri Nets",
	booktitle = "Proceedings of Applications an Theory of Petri Nets, ATPN2003",
	year = "2003",
	pages = "357--376"
}