Modeling UML object event handling with Petri nets | IEEE Conference Publication | IEEE Xplore