Distributed fault detection by labeled Petri Nets | IEEE Conference Publication | IEEE Xplore