Modeling and analysis of remote diagnosis using petri nets | IEEE Conference Publication | IEEE Xplore