Väritettyjen Petri-verkkojen ja saavutettavuuskaavion käyttö systeemien mallintamiseen Tekijä Tanhua-Tyrkkö, Vesa