时间约束Petri网的状态可达及可调度分析算法

李慧芳; 李人厚; 陈浩勋

首页> 中文期刊>计算机工程与应用 >时间约束Petri网的状态可达及可调度分析算法

时间约束Petri网的状态可达及可调度分析算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

时间约束Petri网是具有广义时间约束的一类Petri网.时间约束的引入使TCPN's的演化与系统每一时刻的状态密切相关,导致网的动态复杂性.目前有关TCPN's状态可达性的研究仅局限于一些较简单的网,该文通过对TCPN's的进一步研究,给出了更一般的可达性分析方法及变迁可调度决策算法,并讨论了含冲突结构的TCPN's的可调度分析.

著录项

来源
《计算机工程与应用》|2000年第7期|59-6170|共4页
作者
李慧芳; 李人厚; 陈浩勋;
展开▼
作者单位

西安交通大学系统工程研究所,西安,710049;

西安交通大学系统工程研究所,西安,710049;

西安交通大学系统工程研究所,西安,710049;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
时间约束Petri网; Petri网; 可调度分析; 决策变量;
入库时间 2023-07-24 17:05:54

相似文献

中文文献
外文文献
专利

1. 时间约束Petri网的状态可达性分析算法 [J] . 李慧芳 ,李人厚 . 系统工程与电子技术 . 2000,第007期
2. 时间约束Petri网的可调度分析决策算法 [J] . 李慧芳 ,李人厚 . 微电子学与计算机 . 2000,第1期
3. 时间约束Petri网及其可调度性分析与验证 [J] . 宋巍 ,窦万春 ,刘茜萍 . 软件学报 . 2007,第001期
4. 基于时间约束Petri网的工作流可调度性分析 [J] . 冯林 ,姜浩 . 计算机技术与发展 . 2006,第011期
5. 时间约束Petri网的可调度性分析研究 [J] . 李慧芳 ,李人厚 . 计算机科学 . 2000,第003期
6. 可达性与状态方程可满足性等价的两个Petri网子类 [C] . 包云霞 ,鲁法明 ,曾庆田 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. Petri网状态空间压缩与状态可达性检索研究 [A] . 徐进 . 2018

时间约束Petri网的状态可达及可调度分析算法

摘要

著录项

相似文献

相关主题

期刊订阅