Framework for an Interactive Assistance in Diagnostic Processes Based on the Translation of UML Activities into Petri Nets | IEEE Conference Publication | IEEE Xplore