MuDer Jeng Xiaolan Xie Modeling and Analysis of Semiconductor Manufacturing Systems with Degraded Behaviors Using Petri Nets and Siphons. 52-57 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#JengX01