@article{Zhu Xiaoxiao:37, author = {Zhu Xiaoxiao,Dong Luming}, title = {Colored Petri Net Based Method  for the Validation of UML Pattern}, publisher = {Data Analysis and Knowledge Discovery}, year = {2004}, journal = {Data Analysis and Knowledge Discovery}, volume = {20}, number = {2}, eid = {37}, numpages = {4}, pages = {37}, keywords = {

Software engineering;Model building;Colored Petri nets(CPN);Objectoriented techniques;Unified modeling language;Object Petri net Model(OPM)

}, url = {https://manu44.magtech.com.cn/Jwk_infotech_wk3/EN/abstract/article_1209.shtml}, doi = {10.11925/infotech.1003-3513.2004.02.10} }