@article{(Open Science Index):https://publications.waset.org/pdf/8478,
	  title     = {Interactive Model Based On an Extended CPN},
	  author    = {Shuzhen Yao and  Fengjing Zhao and  Jianwei He},
	  country	= {},
	  institution	= {},
	  abstract     = {The UML modeling of complex distributed systems often is a great challenge due to the large amount of parallel real-time operating components. In this paper the problems of verification of such systems are discussed. ECPN, an Extended Colored Petri Net is defined to formally describe state transitions of components and interactions among components. The relationship between sequence diagrams and Free Choice Petri Nets is investigated. Free Choice Petri Net theory helps verifying the liveness of sequence diagrams. By converting sequence diagrams to ECPNs and then comparing behaviors of sequence diagram ECPNs and statecharts, the consistency among models is analyzed. Finally, a verification process for an example model is demonstrated.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {2},
	  number    = {11},
	  year      = {2008},
	  pages     = {3902 - 3906},
	  ee        = {https://publications.waset.org/pdf/8478},
	  url   	= {https://publications.waset.org/vol/23},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 23, 2008},
	}