A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures. - Vijay Gehlot; Gayatri Pujari (HICSS, 2009)