系统仿真学报杂志北大期刊CSCD期刊统计源期刊

系统仿真学报 2007年第A01期杂志 文档列表

系统仿真学报杂志Petri基础理论研究

基于T-不变量的可重复向量的求解算法第1-3页

关键词: petri网；  可重复向量；  变迁扩充网；  

Petri网共享T型子网合成活性分析第4-8页

关键词: petri网；  合成；  活性；  有界性；  系统设计；  

谓词/变迁系统对一阶谓词公式的建模第9-15页

关键词: 一阶谓词公式；  逻辑联结词；  二叉树；  事实变迁；  递归性质；  

公平Petri网中同步距离计算的一个实现算法第16-20页

关键词: petri网；  加权同步距离；  观察库所；  带观察库所的加权网系统swnet；  

同步及共享合成操作对Petri网汇合性质的保持性第21-25页

关键词: petri网；  家态；  汇合性质；  同步合成；  共享合成；  

改进的哲学家进餐问题无饥饿解的Petri网模型第26-28页

关键词: 哲学家进餐问题；  petri网；  抑止弧petri网；  无饥饿解；  

库所耦合网的T-不变量求解算法第29-33页

关键词: petri网；  库所耦合网；  不变量；  

Petri网Ontology：定义与类型第34-37页

关键词: petri网；  ontology；  petri网标记语言；  标签；  

Petri网模型参数化可达图研究第38-43页

关键词: petri网；  参数化；  可达图；  模型性质检测；  

可达性与状态方程可满足性等价的两个Petri网子类第44-46页

关键词: petri网；  可达性；  极小陷阱回路网；  后向回路网；  

T-时延离散Petri网的运行原理及其性质第47-48页

关键词: 可达标识图；  激发频率；  

高级Petri网：基于ISO/IEC15909的理解第49-51页

关键词: 高级petri网；  高级petri网图形；  iso标准；  图元；  注释；  

在学习和应用Petri网中值得注意的几个问题第52-54页

关键词: petri网；  

系统仿真学报杂志软件、协议与形式化方法

基于Petri网的软件维护过程建模及应用分析第55-57页

关键词: petri网；  软件维护；  过程建模；  决策；  

基于Petri网的Web个性化服务第58-61页

关键词: web；  个性化服务；  用户档案；  petri网；