《系统仿真学报杂志》2007年S1期在线投稿系统

系统仿真学报

编辑出版：系统仿真学报杂志编辑部
主办：中国系统仿真学会;航天科工集团 706 所
出版周期：半月刊出版地：北京市
语种：中文　　ISSN：1004-731X

相关推荐

《系统仿真学报杂志》2007年S1期目录

基于T-不变量的可重复向量的求解算法
刘关俊;蒋昌俊;吴哲辉;
系统仿真学报
Petri网共享T型子网合成活性分析
夏传良;
谓词/变迁系统对一阶谓词公式的建模
耿霞;吴哲辉;张继军;
公平Petri网中同步距离计算的一个实现算法
王丽丽;吴哲辉;
同步及共享合成操作对Petri网汇合性质的保持性
王鹏伟;吴哲辉;
改进的哲学家进餐问题无饥饿解的Petri网模型
刘关俊;吴哲辉;
库所耦合网的T-不变量求解算法
岳昊;吴哲辉;
Petri网Ontology:定义与类型
黄映辉;李冠宇;
Petri网模型参数化可达图研究
宋佳兴;林闯;
可达性与状态方程可满足论文QQ81995535 性等价的两个Petri网子类
包云霞;鲁法明;曾庆田;
T-时延离散Petri网的运行原理及其性质
赵义军;吴哲辉;
高级Petri网:基于ISO/IEC15909的理解
黄映辉;李冠宇;
在学习和应用Petri网中值得注意的几个问题
杨文龙;
基于Petri网的软件维护过程建模及应用分析
丁剑洁;侯红;郝克刚;
基于Petri网的Web个性化服务
宋爱波;罗军舟;刘波;李伟;
颜色Petri网一种专有协议的描述和验证
黄天福;白光伟;
基于Petri网的状态机变迁的形式化方法研究
何建伟;姚淑珍;
OWL-S服务操作语义的Petri网描述新方法
马炳先;杜玉越;
基于Petri网的软件项目管理建模方法
祁方民;鱼滨;史立军;牟力科;
软构件行为适应的Petri网方法研究
谢兄;张维石;
IPTV数字内容版权保护安全协议的设计
郭迎九;林闯;尹浩;
基于多Agent系统网管模型的形式化建模
李伟;罗军舟;
基于同步网的BPEL建模和验证
徐春香;屈婉玲;王捍贫;黄雨;袁崇义;
UML类图到CPN转化方法的研究
田保军;
UML通信图和Petri网转换方法的研究
孙莹;蒋波;王赫;
一种基于模糊Petri网的并行推理方法
徐欢;李孝忠;
Petri网化简技术的研究
汪琳;乐晓波;陈国平;
基于逻辑Petri网的物流配送系统建模
石春玲;杜玉越;
基于着色Petri网的GEO-RBAC策略验证
封富君;林闯;李俊山;
栈结构的增广Petri网模型
李莹莹;吴哲辉;
分层CPN在矿井馈电系统建模中的应用
韩江洪;翟军华;魏振春;毕翔;陆阳;
用于实现异步通信的一种模块化Petri网
黄小炜;陆维明;
一种基于着色赋时Petri网的Web服务组合建模方法
王赫;蒋波;孙莹;单宇姣;
基于Petri网的一类调度问题的分层控制器设计
张志明;吴维敏;段红霞;
着色Petri网在性能评价中的应用
朱连章;隋瑞升;
基于Petri网的车辆交通实时调度研究
罗继亮;邹慧莉;金福江;
基于广义随机Petri网的SIP的验证和性能分析
杨鹏;袁占亭;王继曾;
基于ExSpect的排队系统建模与仿真
胡雄鹰;胡斌;张金隆;
基于扩展的P/T_系统工作流建模的研究
娄渊胜;刘瑾;黄龙达;
基于代数的模糊Petri网逆向推理算法
门鹏;段振华;
基于增广Petri网带封锁机制的数据库并发控制模型
蒋忠远;宋文;姚建;
基于语言等价的Petri网化简
张继军;董卫;
基于增广自控网的路灯故障检测系统
严兵;宋文;蒋忠远;
基于Petri网统一模型的系统开发方法研究
王志坚;魏定国;吴时霖;
引用网建模工具Renew的性能评估扩展
黄冬泉;张敏;黄河;徐振亚;
虚拟仪器和模糊Petri网在故障诊断中应用
张明虎;全恩仲;陈少杰;张建军;王涌;
结合Petri网和UML的用户交互行为建模研究
徐享忠;王精业;荆涛;
Agent网及其在军事物流体系绩效评价中的应用
刘卫华;沈如松;沙基昌;
基于颜色Petri网的多agent动态调度建模与分析
刘波;罗军舟;宋爱波;
计算网格任务调度的随机高级Petri网模型与分析
单志广;林闯;
基于时间Petri网的潜在定时分析
刘勇志;刘丙杰;
复杂装备维修性验证仿真方法研究
胡志刚;黎放;陈波;
基于有色赋时Petri网的半导体生产线建模技术研究
曹政才;乔非;
基于Petri网的行为建模在舰艇CGF中的应用研究
王立强;孙永侃;
参考文献标注格式
控制系统功能表图的电路实现
赵不贿;
基于Petri网的交通信号控制系统
蒋忠远;宋文;杨博;
曙光作业管理系统的可用性评价
何昱;历军;聂华;
基于TCPN的装备维修保障资源管理模型
宋光明;王胜德;宋建社;
基于着色Petri网的卫星军事应用系统建模
李强;赵新国;徐雪峰;
基于随机Petri网工作流档案管理系统的建模与分析
谷佰军;孙劲光;田立勤;
基于Petri网的企业过程模型的BPEL实现
姚淑珍;张亮;
基于随机赋时Petri网的车辆交通系统建模与仿真
罗继亮;邹慧莉;
随机Petri网的坦克综电系统总线性能分析
刘金萍;宋小庆;李匡成;高东飞;王冬;
基于时间Petri网的电力系统故障恢复算法的研究
刘春颖;李月乔;文亚凤;
基于着色petri网的电子商务跨组织工作流建模与分析
韩耀军;郭家堂;
基于Grafcet的电梯控制系统建模
王寿光;林善法;张有兵;
基于Petri Fault Net的磁浮列车悬浮系统故障分析
龙志强;张永焘;叶俊;
一种Petri网模型完备日志生成算法
查海平;王建民;闻立杰;
过程挖掘的研究现状与问题综述
曾庆田;
一种基于Petri网的序列密码加密方案
吴振寰;吴哲辉;
双变迁Petri网的电路模拟技术研究
郭军;郝克刚;
《系统仿真学报》投稿须知

计算机论文导航: 北大核心统计源核心 CSCD CSCD扩展国家级期刊省级期刊杂志见刊

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

系统仿真学报

Petri网共享T型子网合成活性分析

谓词/变迁系统对一阶谓词公式的建模

公平Petri网中同步距离计算的一个实现算法

同步及共享合成操作对Petri网汇合性质的保持性

改进的哲学家进餐问题无饥饿解的Petri网模型

库所耦合网的T-不变量求解算法

Petri网Ontology:定义与类型

Petri网模型参数化可达图研究

可达性与状态方程可满足 论文QQ81995535 性等价的两个Petri网子类

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

高级Petri网:基于ISO/IEC15909的理解

在学习和应用Petri网中值得注意的几个问题

基于Petri网的软件维护过程建模及应用分析

基于Petri网的Web个性化服务

颜色Petri网一种专有协议的描述和验证

基于Petri网的状态机变迁的形式化方法研究

OWL-S服务操作语义的Petri网描述新方法

基于Petri网的软件项目管理建模方法

软构件行为适应的Petri网方法研究

IPTV数字内容版权保护安全协议的设计

基于多Agent系统网管模型的形式化建模

基于同步网的BPEL建模和验证

UML类图到CPN转化方法的研究

UML通信图和Petri网转换方法的研究

一种基于模糊Petri网的并行推理方法

Petri网化简技术的研究

基于逻辑Petri网的物流配送系统建模

基于着色Petri网的GEO-RBAC策略验证

栈结构的增广Petri网模型

分层CPN在矿井馈电系统建模中的应用

用于实现异步通信的一种模块化Petri网

一种基于着色赋时Petri网的Web服务组合建模方法

基于Petri网的一类调度问题的分层控制器设计

着色Petri网在性能评价中的应用

基于Petri网的车辆交通实时调度研究

基于广义随机Petri网的SIP的验证和性能分析

基于ExSpect的排队系统建模与仿真

基于扩展的P/T_系统工作流建模的研究

基于代数的模糊Petri网逆向推理算法

基于增广Petri网带封锁机制的数据库并发控制模型

基于语言等价的Petri网化简

基于增广自控网的路灯故障检测系统

基于Petri网统一模型的系统开发方法研究

引用网建模工具Renew的性能评估扩展

虚拟仪器和模糊Petri网在故障诊断中应用

结合Petri网和UML的用户交互行为建模研究

Agent网及其在军事物流体系绩效评价中的应用

基于颜色Petri网的多agent动态调度建模与分析

计算网格任务调度的随机高级Petri网模型与分析

基于时间Petri网的潜在定时分析

复杂装备维修性验证仿真方法研究

基于有色赋时Petri网的半导体生产线建模技术研究

基于Petri网的行为建模在舰艇CGF中的应用研究

参考文献标注格式

控制系统功能表图的电路实现

基于Petri网的交通信号控制系统

曙光作业管理系统的可用性评价

基于TCPN的装备维修保障资源管理模型

基于着色Petri网的卫星军事应用系统建模

基于随机Petri网工作流档案管理系统的建模与分析

基于Petri网的企业过程模型的BPEL实现

基于随机赋时Petri网的车辆交通系统建模与仿真

随机Petri网的坦克综电系统总线性能分析

基于时间Petri网的电力系统故障恢复算法的研究

基于着色petri网的电子商务跨组织工作流建模与分析

基于Grafcet的电梯控制系统建模

基于Petri Fault Net的磁浮列车悬浮系统故障分析

一种Petri网模型完备日志生成算法

过程挖掘的研究现状与问题综述

一种基于Petri网的序列密码加密方案

双变迁Petri网的电路模拟技术研究

《系统仿真学报》投稿须知

可达性与状态方程可满足论文QQ81995535 性等价的两个Petri网子类