@book {SC-MATCH20-98, title = {Introduction to Net Driven Decomposition Techniques}, year = {1998}, month = {9}, pages = {693-718}, publisher = {Editorial KRONOS}, organization = {Editorial KRONOS}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_SC_MATCH20.ps.gz}, author = {M. Silva and J. Campos}, editor = {G. Balbo and M. Silva} }