Towards a formal analysis approach based on the use of Colored Petri Nets, Timed Colored Petri Nets and the CPN Tools Panagiotis Katsaros [email protected] - http://delab.csd.auth.gr/~katsaros/…
