STATE ESTIMATION AND CONTROL OF NONDETERMINISTIC gamma-FREE LABELED PETRI NETS

摘要

In this paper we present an original approach to estimate the marking of a labeled Petri net based on the observation of transition labels. In particular, we consider the case of nondeterministic transitions, i.e., transitions that share the same label and that can be simultaneously enabled. We also show how the estimate generated by the observer may be used to design a state feedback controller for forbidden marking specifications. More precisely, we discuss two different cases: the label-based feedback and the transition-based feedback, depending on the possibility of the controller to distinguish among transitions with the same label.