UML and Petri nets for design and analysis of distributed systems
Behzad Bordbar, Luisa Giacomini, David J. Holding · 2002
This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems. It shows how Petri nets can be used to improve the representation and analysis of the dynamic model of a system specified using UML. Finally the technique is illustrated by its application to a simplified production line.