@inbook{ GARRIDO_Gea-Megias:16-28,

author = { JOSÉ LUIS GARRIDO BULLEJOS and Miguel Gea-Megias } ,

title = { A COLOURED PETRI NET FORMALISATION FOR A UML-BASED NOTATION APPLIED TO COOPERATIVE SYSTEM MODELLING },

booktitle = { INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION AND VERIFICATION },

isbn = { 3-540-42807-0 },

publisher = { SPRINGER-VERLAG },

pages = { 16 - 28 },

year = { 2001 },

}