Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning | IEEE Journals & Magazine | IEEE Xplore