Sequence-detectability analysis of interpreted Petri nets under partial state observations | IEEE Conference Publication | IEEE Xplore