Modelling of UML sequence diagrams with generalized nets | IEEE Conference Publication | IEEE Xplore