Consistency Checking of UML Dynamic Models Based on Petri Net Techniques | IEEE Conference Publication | IEEE Xplore