Modeling and Analysis of Manufacture System Using a SPN Approach | IEEE Conference Publication | IEEE Xplore