Formal Transformation from UML Sequence Diagrams to Queueing Petri Nets.

Van-Doc Vu, Trong-Bach Nguyen, Quyet-Thang Huynh

Browse the full SoMeT paper archive.