引用本文:方宇伟 ，张兰玲，韩曾晋.一类区段赋时弧有色Petri网的可达性和可阻断性分析[J].控制理论与应用,1999,16(4):487~491.[点击复制]
Fang Yuwei，Zhang Lanling，Han Zengjin.Analysis of Reachability and Prohibitibility of a Class of Coloured PetriNets with Interval Timed Arcs[J].Control Theory and Technology,1999,16(4):487~491.[点击复制]
一类区段赋时弧有色Petri网的可达性和可阻断性分析
Analysis of Reachability and Prohibitibility of a Class of Coloured PetriNets with Interval Timed Arcs
摘要点击 595  全文点击 363  投稿时间：1997-11-17  修订日期：1998-08-17
查看全文  查看/发表评论  下载PDF阅读器
DOI编号  
  1999,16(4):487-491
中文关键词  时间界估计  可达性分析  可阻断性分析
英文关键词  coloured Petri nets with interval timed arcs  time bound estimation  reachability analysis  prohibitibility analysis
基金项目  
作者单位
方宇伟 ，张兰玲，韩曾晋  
中文摘要
      为了描述和分析实际复杂实时系统，提出了一种新的时间限制Perti网模型，区段赋时弧有色Petri网模型。这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数。基于一种充分考虑了系统时间不确定性的激发规则，给出了区段赋时弧有色Petri网的发生元序列时间界估计，并以此为依据，提出了基于状态类的可达性分析方法和可阻断性分析方法。
英文摘要
      In order to describe and analyse complex real-time systems,new timing constraint Petri nets,named coloured petri nets with interval timed arcs (ITACPN),are proposed in this paper. This kind of petri nets uses time interval functions of colours in input places to label arcs that directing from places to transitions.Based on a kind of the firing rule,which the uncertainty of system time is sufficiently considered, time bound of the occurrence is estimated.Moreover, state class based methods used on reachability analysis are put forward.