@inproceedings {PJCS-96a, title = {State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes}, year = {1996}, month = {4}, pages = {1159-1165}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/96_PJCS_a.ps.gz}, author = {C.J. P{\'e}rez-Jim{\'e}nez and J. Campos and M. Silva} }