Jianli Xu Juha Kuusela Modeling execution architecture of software system using colored Petri nets. 70-75 1998 WOSP http://doi.acm.org/10.1145/287318.287332 db/conf/wosp/wosp1998.html#XuK98