UML, Petri-Net in Software Engineering 

 Xin Li

CS Dept. Univ. of Pittsburgh