增广PETRI网

作品数：9被引量：19H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴哲辉崔焕庆宋文司玉娟姚建更多>>
相关机构：山东科技大学西华大学安徽理工大学吉林大学更多>>
相关期刊：《系统仿真学报》《计算机工程与设计》《厦门大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金厦门市科技计划项目安徽省自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于增广Petri网生成受控日志被引量：1
《计算机工程与设计》2022年第3期876-885,共10页邵叱风 方贤文 王吴松 
国家自然科学基金项目(61402011、61572035);安徽省自然科学基金项目(1508085MF111、1608085QF149);安徽理工大学研究生创新基金项目(2019CX2068)。
为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法。利用增广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随...
关键词：日志冗余 事件约束 佩特里网 可达状态 受控分析 
基于增广Petri网的实时交通信号控制系统被引量：6
《厦门大学学报（自然科学版）》2011年第1期28-32,共5页叶剑虹 叶双 宋文 孙世新 
国家自然科学基金资助项目(60473030);华侨大学科研启动基金项目(09BS514);厦门市科技局科技计划创新项目(3502Z20103027)
利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解...
关键词：PETRI网 交叉路口 实时 相位 仿真 
基于增广Petri网带封锁机制的数据库并发控制模型被引量：1
《系统仿真学报》2007年第A01期164-167,共4页蒋忠远 宋文 姚建 
国家自然科学基金(60473030)
用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协...
关键词：PETRI网 禁止弧 容许弧 封锁 S-不变 形式化 
栈结构的增广Petri网模型
《系统仿真学报》2007年第A01期124-128,共5页李莹莹 吴哲辉 
国家自然科学基金(60673053;60603090);山东省优秀中青年科学家奖励基金(2006BS01019)
增广Petri网(如抑止弧Petri网)的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁序列表示入栈字符串,另一个变迁序列表示出栈字符串,可以建立堆栈结构的模型SEPN。利用SEPN模型和映射函...
关键词：增广PETRI网 堆栈 模型 上下文无关语言 
基于Petri 网的同步DRAM控制器的建模与分析
《系统仿真学报》2005年第z1期204-206,共3页刘士喜 方贤文 许志才 
国家自然科学基金(10371047)
Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地...
关键词：PETRI网 ARM嵌入式处理器 同步DRAM 增广PETRI网 
MPI通信函数的增广Petri网模型被引量：6
《系统仿真学报》2003年第z1期26-28,39,共4页崔焕庆 吴哲辉 韩丛英 
国家自然科学基金(60173053)
MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序。
关键词：增广PETRI网 MPI 点到点通信 集群通信 
计算一类递归方程的增广Petri网模型被引量：3
《系统仿真学报》2003年第z1期40-42,共3页崔焕庆 吴哲辉 张广胜 
国家自然科学基金(60173053)
递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的。斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析。
关键词：增广PETRI网 递归方程 变迁发生序列 矩阵 
同步时序电路的增广Petri网分析被引量：3
《电子科学学刊》1995年第5期529-534,共6页司玉娟 王万树 郭殿龙 戴逸松 
国家自然科学基金
本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并...
关键词：时序电路 增广PETRI网 逻辑分析 
多项式求值及自然数幂和计算的两个增广Petri网模型
《山东矿业学院学报》1995年第2期185-189,共5页许安国 蒋昌俊 
国家自然科学基金
本文同时给出多项式求值及自然数幂和计算的两个增广Ｐｅｔｒｉ网模型，然后给出了矩阵描述和状态方程分析，最后导出了已知输入值求输出值的算法。
关键词：增广PETRI网 自然数幂 计算 多项式求值 PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部