一类区段赋时弧有色Petri网的可达性和可阻断性分析
方宇炜1
张兰玲2
韩曾晋3
1.冶金部自动化研究院系统所,北京,1000712.万国软件开发(深圳)有限公司,深圳,5180573.清华大学自动化系,北京,100084
摘要：为了描述和分析实际复杂实时系统,提出一种新的时间限制Perti网模型,区段赋时弧有色Petri网模型.这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数.基于一种充分考虑了系统时间不确定性的激发规则,给出了区段赋时弧有色Petri网的发生元序列时间界估计,并以此为依据,提出了基于状态类的可达性分析方法和可阻断性分析方法.
关键词：区段赋时弧有色Petri网时间界估计可达性分析可阻断性分析
分类号：TM1(电工基础理论)
论文发表日期：1999-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 487-491 )
英文信息