MuDer Jeng Weizhao Lu Extension of UML and Its Conversion to Petri Nets for Semiconductor Manufacturing Modeling. 3175-3180 2002 conf/icra/2002 ICRA db/conf/icra/icra2002.html#JengL02 https://doi.org/10.1109/ROBOT.2002.1013715