Observability in interpreted Petri nets using sequence invariants | IEEE Conference Publication | IEEE Xplore