@inproceedings {SC-wodes98, title = {Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques}, year = {1998}, month = {8}, pages = {398-413}, publisher = {IEE Control}, organization = {IEE Control}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_SC_wodes.ps.gz}, author = {M. Silva and J. Campos} }