系统仿真学报
来源:本站原创 更新:2016/8/6 字体:
大 小
基于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扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)