杂志简介：《系统仿真学报》杂志经新闻出版总署批准，自1989年创刊，国内刊号为11-3092/V，是一本综合性较强的航空期刊。该刊是一份月刊，致力于发表航空领域的高质量原创研究成果、综述及快报。主要栏目：建模与仿真理论及方法、仿真建模与仿真算法、仿真计算机与仿真软件、仿真器与仿真系统、人工智能与仿真、网络化仿真、虚拟样机技术、虚拟...
杂志简介：《系统仿真学报》杂志经新闻出版总署批准，自1989年创刊，国内刊号为11-3092/V，是一本综合性较强的航空期刊。该刊是一份月刊，致力于发表航空领域的高质量原创研究成果、综述及快报。主要栏目：建模与仿真理论及方法、仿真建模与仿真算法、仿真计算机与仿真软件、仿真器与仿真系统、人工智能与仿真、网络化仿真、虚拟样机技术、虚拟...
作者：刘石坚 乐晓波 邹峥 刊期：2008年第S2期
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
刊期：2008年第S2期
1985年《系统仿真》创刊。内部发行、半年刊。创始人:文传源、王行仁、王正中、王扬、李伯虎、彭晓源、熊光楞等。主办单位:海洋模拟器联合公司。学报主编:文传源教授;编辑部负责人:王扬高工。
作者：夏传良 刊期：2008年第S2期
为了对一种特定的时间Petri网模型的性质进行分析和验证,给出了一种将时间Petri网转化为时间自动机的方法。将时间Petri网转化为时间自动机后,就可用常见的基于时间自动机的模型检测工具去验证系统是否满足某些必要的性质。
作者：郭小群 郝克刚 侯红 丁剑杰 刊期：2008年第S2期
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原...
作者：王廷刚 吴哲辉 刊期：2008年第S2期
对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集的外延子网的变迁集合包含原网的全部变迁时,该子网与原网的公平性是等价的,否则即使该子网为公平网,原网也不是公平网,此结论将一般Petri网的公平性判定问题转化为结构有界网的公平性判定问题。
作者：束德勤 范昊 刊期：2008年第S2期
已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。...
作者：周恺卿 乐晓波 唐铭 刊期：2008年第S2期
在模糊Petri网(FPN)的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。在研究蚁群算法和反向传播算法的基础上首次将二者结合,形成ACA-BP算法,并将其运用于FPN的参数寻优过程中。该算法的实现不依赖于经验数据,对初始输入无要求。仿真实例表明,经ACA-BP算法寻优结果令人满意,且得到的FPN模型具有较强的泛化能力和自适应功能...
作者：范昊 束德勤 刊期：2008年第S2期
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例...
作者：鲁法明 吴哲辉 刊期：2008年第S2期
首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间内判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度内求取部分极小支集上S-不变量的STRC算...
作者：吴振寰 高莹 吴哲辉 刊期：2008年第S2期
Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推...
作者：于枫 罗军舟 李伟 宋爱波 刊期：2008年第S2期
Petri网的资源配置格局动态变化是本领域的一个研究点。Petri网运行引起资源配置格局转换,进程表达式虽然能够描述Petri网的运行轨迹,却难以反映资源配置格局动态变化细节。分析Petri网进程的资源变化,提出Petri网进程段的资源损益概念,给出Petri网的资源损益极大单调进程段定义。其后,在证明资源损益单调进程段的有限性、最值性等基础上,设计资...
作者：巩君华 张继军 范昊 刊期：2008年第S2期
研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
作者：张曼 单志广 刊期：2008年第S2期
第29届Petri网应用与理论及其他并发模型国际会议(简称PETRI NETS 2008)于2008年6月在西安召开。对会议论文集收录的全部23篇论文进行了研究和综述,从模型检测理论与应用、Petri网的步语义问题、Petri网合成、Petri网展开、Petri网建模与验证、Petri网工具等方面归纳介绍了当前国际Petri网理论与应用研究的最新进展与发展趋势。
作者：孙海春 杜玉越 刊期：2008年第S2期
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
作者：胡晓文 曾庆田 刊期：2008年第S2期
时间和资源是工作流管理系统中的两个重要的方面,首先从不同模型的角度系统分析了基于Petri网的工作流时间管理问题,对工作流的时间性能分析、时间动态的预测、时序一致性验证、变迁的可调度性方面做总结。在此基础上,对受时间和资源双重约束工作流的Petri网在资源调度及资源冲突管理方面进行了论述,最后讨论了基于Petri网的工作流时间和资源管...
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：1.23
期刊级别：部级期刊
发行周期：半月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊
影响因子：--
期刊级别：部级期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：双月刊
影响因子：0.95
期刊级别：北大期刊
发行周期：月刊
影响因子：0.3
期刊级别：省级期刊
发行周期：月刊
影响因子：0.68
期刊级别：省级期刊
发行周期：月刊