UML and Petri nets for design and analysis of distributed systems | IEEE Conference Publication | IEEE Xplore