Jianli Xu Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development. 57-64 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_4 db/conf/apn/icatpn2006.html#Xu06