刘石坚
- 作品数：6 被引量：6H指数：1
- 供职机构：长沙理工大学更多>>
- 发文基金：湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 关于Petri网系统S-补相关定理的补充证明及其分析被引量：1
- 2008年
- 对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
- 刘石坚乐晓波邹峥
- 关键词：PETRI网行为等价
- 含抑制弧和测试弧Petri网的建模及其行为分析被引量：3
- 2008年
- 由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
- 刘石坚乐晓波邹峥
- 关于Petri网系统S-补相关定理的补充证明及其分析
- 对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
- 刘石坚乐晓波邹峥
- 关键词：PETRI网行为等价
- 文献传递
- 面向对象模糊Petri网的理论及建模研究
- 随着Petri网的发展，其基础理论研究(如库所、变迁的不变量，状态树、状态图、活性分析等)已经相当成熟，其研究成果很多早已完美的展现于世人面前。目前，Petri网研究领域的研究重点则更多地侧重于实际应用。因此，近些年来提...
- 刘石坚
- 关键词：PETRI网面向对象模糊推理负载均衡建模仿真
- 含抑制弧和测试弧Petri网的建模及其行为分析
- 由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网同。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及F...
- 刘石坚乐晓波邹峥
- 关键词：PETRI网
- 文献传递
- 基于Petri网模型的随机数生成器被引量：1
- 2010年
- 以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Petri网模型进行改进。
- 邹峥乐晓波刘石坚
- 关键词：PETRI网随机数生成器
