Compositional construction and analysis of Petri net systems. - Isabel C. Rojas M. (1997)