-
1
-
2
Väritettyjen Petri-verkkojen ja saavutettavuuskaavion käyttö systeemien mallintamiseen
Julkaistu 2006Pro gradu -
3
Kongressinhallintajärjestelmän mallintaminen ja analysointi väritetyillä Petri-verkoilla
Julkaistu 2007Hae kokoteksti
Pro gradu -
4
-
5
-
6