题名 扩展Petri网在实时数据库并发控制中的应用
被引量：2
1
作者
韩耀军 罗雪梅 蒋昌俊
机构
同济大学计算机科学与工程系 中国科学院计算机科学实验室 山东科技大学
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期63-66,共4页
基金
国家863项目(2001AA413020)子项目 国家自然科学基金(69973029 +1 种基金 60173053) 计算机科学重点实验室课题(SYSKF0304)。
文摘
提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。
关键词
初始化弧 扩展 高级 时间petri 网 实时数据库系统 并发控制 建模 分析
Keywords
initialization arc extended high-level time petri net real-time database system concurrent control modeling analyzing
分类号
TP311.3
[自动化与计算机技术—计算机软件与理论]
题名 基于极小T-不变量增加的Petri网可达性分析
被引量：6
2
作者
彭建兵 焦莉
机构
中国科学院软件研究所计算机科学国家重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2010年第10期3798-3802,共5页
文摘
基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。
关键词
petri 网 可达性 极小T-不变量 极小T-不变量关系 图 扩展 极小T-不变量关系 图借矩阵 扩展 借矩阵
Keywords
petri net reachability minimal T-invariant relation graph of minimal T-invariants extended relation graph of minimal T-invariants borrowing matrix extended borrowing matrix
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 扩展时段时序逻辑的推理机制
被引量：4
3
作者
刘婷 林闯 刘卫东
机构
清华大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2002年第6期637-644,共8页
基金
国家自然科学基金 (60 173 0 12 ) 国家重点基础研究发展规划项目(G19990 3 2 70 7) 清华大学信息学院 985基础创新研究基金资助
文摘
该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。
关键词
扩展 时段时序逻辑时序关系 推理机制 时间petri 网
Keywords
extended interval temporal logic, temporal relation, inference engine, time petri nets
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
题名 不确定条件下复杂产品开发项目调度模型研究
被引量：4
4
作者
施国强 李伯虎 柴旭东
机构
北京航空航天大学自动化科学与电气工程学院 北京仿真中心
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2007年第10期1909-1913,1920,共6页
基金
国防重点实验室资助项目 国家863计划信息领域专项资助项目(2004AA104330)。~~
文摘
为解决不确定条件下的项目调度问题,分析了复杂产品开发项目调度的不确定性,定义了一种扩展的高级关系Petri网,基于扩展的高级关系Petri网建立不确定环境下的复杂产品开发项目调度模型,并结合层次分析法和扩展的高级关系Petri网模型来解决各个子项目优先权的不确定问题,通过实例对项目调度模型进行了仿真和分析,最后给出结论和进一步的工作。
关键词
项目 扩展的高级关系petri网 复杂产品开发 调度建模
Keywords
projects extension-based high-level relation Pteri net complex product development scheduling modeling
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
题名 基于EOOPN的作战单元任务成功性评估仿真模型
被引量：8
5
作者
刘芳 赵建印 郭波
机构
海军航空工程学院飞行器工程系 国防科学技术大学信息系统与管理学院
出处
《兵工学报》
EI
CAS
CSCD
北大核心
2007年第4期481-486,共6页
基金
国家青年科学基金资助项目(70501031)
文摘
师旅级作战单元是世界各国目前乃至将来应付一般的中小规模冲突的主要作战单位,建立其任务成功性评估模型,计算给定维修保障方案下师旅级作战单元任务成功概率,可以评价现有维修保障方案的保障效果,从而为师旅级作战单元执行任务前维修保障方案的制定和优化提供决策依据。在分析师旅级作战单元任务和构成特点的基础上,本文给出了一种扩展的面向对象Petri网(EOOPN)模型的定义和建模步骤,并利用它建立了师旅级作战单元任务成功性评估模型,最后将该模型应用于某防空旅某次任务想定,从而说明该模型的有效性和实用性。
关键词
系统评估与可行性分析 作战单元 任务成功性 扩展的 面向对象petri 网 维修保障 时序逻辑关系
Keywords
analysis on system assessment and feasibility combat unit mission success extended object-oriented petri net maintenance support temporal and logic relation
分类号
E921
[兵器科学与技术—武器系统与运用工程]
题名 基于ESHLEP-N印染生产线的仿真
被引量：1
6
作者
周晓慧 谢作豪
机构
杭州电子科技大学自动化学院
出处
《机电工程》
CAS
2008年第11期94-96,104,共4页
基金
浙江省科技厅攻关资助项目(C11029-01)
文摘
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。
关键词
印染生产线 扩展 随机高级 判断petri 网 可执行的规格说明工具 仿真
Keywords
the production line of printing and dyeing extended stochastic high level evaluation petri net（ESHLEP-N） executable specification tool（ExSpect） simulation
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
