Reliability assessment of Manufacturing system based on HSPN models and non-homogeneous isomorphism Markov | IEEE Conference Publication | IEEE Xplore