Van-Doc Vu, Trong-Bach Nguyen, Quyet Thang Huynh. Formal Transformation from UML Sequence Diagrams to Queueing Petri Nets. In Hamido Fujita, Ali Selamat, editors, Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19), Kuching, Malaysia, 23-25 September 2019. Volume 318 of Frontiers in Artificial Intelligence and Applications, pages 588-601, IOS Press, 2019. [doi]
Abstract is missing.