Supervision of open systems using a situation-operator-modeling approach and higher petri net formalisms.

Dennis Gamrad, Hendrik Oberheid, Dirk Sffker

Browse the full SMC paper archive.