首页> 外文期刊>IFAC PapersOnLine >On the Equilibrium Sets of Topologically Equal Conflict Timed Continuous Petri Nets ?
【24h】

On the Equilibrium Sets of Topologically Equal Conflict Timed Continuous Petri Nets ?

机译:在拓扑平等冲突定时连续培养网的平衡集中

获取原文
           

摘要

This 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.
机译:这项工作涉及在无限服务器语义下的一类定时连续培养网(TCPNS)中的高度标记(州)的研究。首先,通过采用结构方法,介绍了无选择性(CF)TCPNSystems的平衡集的定性分析。它基于系统的分析系统的系统。这允许我们定义名为Themaximal限制子网(MLS)的结构组件。然后,在其MLS方面说明了均衡集合INCF-TCPNSystems的一些性质。接下来,研究了平衡套的连接,系统的凝固性控制性的重要性质。结果显示,据说,始终展示此属性。最后,以前的结果扩展到拓扑上相等的冲突抄比系统。然而,还示出了在通用系统中不一定满足连接。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号