Applications of non-Markovian hybrid Petri-nets in power engineering | IEEE Conference Publication | IEEE Xplore