@inproceedings {995,
	title = {On the structural computation of synchronic invariants in P/T nets},
	booktitle = {Eighth European Workshop on Application  and Theory of Petri Nets},
	year = {1987},
	month = {06/1987},
	pages = {237-258},
	address = {Zaragoza, Spain},
	author = {M. Silva and J.M. Colom}
}

