Structural Characterization of Controllability in Timed Continuous Petri Nets using Invariant Subspaces *

摘要

This work deals with thecontrollabilityanalysis in Timed Continuous Petri Nets(TCPNs)under infinite server semantics, a fluid relaxation that can model highly populated Discrete Event Systems. Here, thefull rank-controllabilityproperty is defined, ensuring that theTCPNis controllable over the equilibrium markings in each of theregionsof its reachability space. This allows forcing theTCPNsystems to work at interesting operation points such as maximum production states, safety regions, to mention a few. Herein two structural conditions for full rank-controllability, one necessary and the other sufficient, are introduced, avoiding the enumeration of all theconfigurationsrequired in other approaches. Finally, based on this, a polynomial algorithm to test the full rank-controllability is provided.