一类区段赋时弧有色Petri网的可达性和可阻断性分析

• 作者: 张兰玲 方宇炜 韩曾晋
• 来源期刊: 控制理论与应用
• 关键词: 区段赋时弧有色Petri网 时间界估计 可达性分析 可阻断性分析
• 年，卷（期）: 1999,（4）
• 所属期刊栏目: 论文与报告
• 页码范围: 487-491
• 页数: 5页
• 分类号: TM1
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8152.1999.04.006

摘要

为了描述和分析实际复杂实时系统,提出一种新的时间限制Perti网模型,区段赋时弧有色Petri网模型.这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数.基于一种充分考虑了系统时间不确定性的激发规则,给出了区段赋时弧有色Petri网的发生元序列时间界估计,并以此为依据,提出了基于状态类的可达性分析方法和可阻断性分析方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩曾晋	清华大学自动化系	29	1188	16.0	29.0
2	方宇炜	冶金部自动化研究院系统所	1	0	0.0	0.0
3	张兰玲		1	0	0.0	0.0