摘要：AbstractThis work deals with the study ofequilibrium markings(states) in a class of Timed Continuous Petri Nets(TCPNs)under infinite server semantics. First, by adopting a structural approach, a qualitative analysis of the equilibrium sets in Choice-Free (CF)TCPNsystems is presented. It is based on the analysis of theslowest conservative subsystemsof the system. This allows us to define a structural component named theMaximal Limiting Subnet(MLS). Then, some properties of the equilibrium sets inCF-TCPNsystems are stated in terms of its MLS. Next,connectivityof the equilibrium sets, an important property for theglobal controllabilityof the system, is studied. It is shown thatCF-TCPNsystems always exhibit this property. Finally, the previous results are extended to Topologically Equal ConflictTCPNsystems. However, it is also shown that connectivity is not necessarily fulfilled in general systems.
关键词：Keywordstimed continuous Petri netsequilibrium pointscontinuous piecewise-linear systemshybrid systems
