@inproceedings {RP-86-11,
	title = {On software implementation of Petri nets and colored Petri nets using high-level concurrent languages},
	year = {1986},
	month = {7},
	pages = {207-241},
	author = {M. Silva and J.L. Villarroel}
}

