Text this: Executable system architecting using systems modeling language in conjunction with Colored Petri Nets - a demonstration using the GEOSS network centric system by Renzhong Wang. [electronic resource] /