Kongressinhallintajärjestelmän mallintaminen ja analysointi väritetyillä Petri-verkoilla - Paavolainen, Lassi (2007)