Structural controllability in timed continuous Petri nets (Q6110265)

In this paper the authors studied the concepts of net rank-controllability (NRC) and a global structural property. First, a relation between NRC and BIC was introduced: if the system is live as untimed, then, NRC is a sufficient condition for BIC over multiple regions. Moreover, it has been pointed out that in non-live systems NRC is not sufficient nor necessary for BIC. After that, a structural characterization of NRC, in terms of the influence of the controllable transitions and the uncontrollable flow invariants (UFIs), was introduced. It was demonstrated that if total influence holds and there are no UFIs, NRC is guaranteed. Moreover, polynomial-time algorithms for the verification of NRC, and therefore, for the verification of BIC, are provided.