Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons | IEEE Journals & Magazine | IEEE Xplore