Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling by Ameedeen, Mohamed Ariff, Zamli, K. Z., Ong, Muhamad Idaham Umar, Thong, Weng Jie

“…Sequence Diagram is a behavioral type of UML diagram widely used by software developers to show dynamic interactions in a system, while Petri Net is a modelling language that is able to carry out mathematical analysis for a system that is also capable of expressing dynamic interaction in a system. …”
Get full text