Towards Colored Petri Net Modeling of Expanded C-TMAC. - Apostolos K. Provatidis; Christos K. Georgiadis; Ioannis Mavridis (ICGS3/e-Democracy, 2011)