[1]J. Saldhana and S. M. Shatz, "UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis," Proceedings of the Int. Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, July 2000, pp. 103-110. [pdf ]

[2]Robert G. Pettit IV1 and Hassan, "Validation of Dynamic Behavior in UML Using Colored Petri Nets"  G George Mason University, Department of Information and Software Engineering.[pdf]

[3]Simona Bernardi,Susanna Donatelli,Jos¡äe Merseguer,"From UML Sequence Diagrams and Statecharts to analysable Petri Net models" Dipartimento di Informatica Universit `a di Torino, Italy.[pdf]

[4]Ian Sommerville, "Software Engineering",6th Edition,Addison-Wesley Publisher

[5]The UML and Data Modeling, Rational Inc., http://www.rational.com/products/whitepapers/101516.jsp