Structural and generic conditions for controllability of timed continuous Petri nets

Controllability of timed continuous Petri nets (TCPN) is studied in this work. The analysis addressed here may lead to control algorithms for systems modeled with TCPNs, for instance, manufacturing systems, supply chains, etc. The goal in this work is to provide structural and generic conditions for the verification of the controllability property. In particular, it is proven that for the net subclass of Topological Equal Conflict net systems the controllability may be determined by the structure, being independent of the timing of the transitions