Evaluating software architectures by coloured petrit nets.

Kimiyuki Fukuzawa, Motoshi Saeki

Browse the full SEKE paper archive.