@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} }