Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets. - Vu Van Doc; Huynh Quyet Thang; Nguyen Trong Bach (INISCOM, 2018)