摘要：AbstractThis 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.
关键词：KeywordsContinuous Petri netsControllabilityPiecewise-linear systemsHybrid Systems
