Colored Petri Net Based Method  for the Validation of UML Pattern
Zhu Xiaoxiao,Dong Luming
New Technology of Library and Information Service . 2004, (2): 37 -41 .  DOI: 10.11925/infotech.1003-3513.2004.02.10