方华
- 作品数：5 被引量：8H指数：1
- 供职机构：合肥工业大学计算机与信息学院更多>>
- 发文基金：国家自然科学基金安徽省科技攻关计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于对象替换运算的Petri网及其应用
- 结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型...
- 方华韩江洪刘小平
- 关键词：面向对象PETRI网分布式系统
- 文献传递
- 一种面向对象Petri网的构造及其CAN总线系统的应用被引量：1
- 2008年
- 提出一种面向对象Petri网——变迁型面向对象Petri网,是库所型面向对象Petri网的对偶网,并在子网内部设置特殊的库所——条件判断库所来限制消息输入变迁,适用于CAN总线系统的建模。该网通过定义对象子网之间的消息输入和输出变迁来实现相互通信,并对对象的接口进行扩展,采用消息决策控制。最后对CAN总线系统进行建模、分析和验证,并总结这类网模型自身的优点。
- 方华韩江洪刘小平
- 关键词：控制接口CAN总线系统
- 基于对象替换运算的Petri网及其应用
- 2008年
- 结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子网独立和异构等特性。最后,本文以车身分布式控制系统对此方法加以分析和验证。
- 方华韩江洪刘小平
- 关键词：面向对象PETRI网分布式系统
- 一种面向对象Petri网的构造及其CAN总线系统的应用
- 提出一种面向对象Petri网—变迁型面向对象Petri网,是库所型面向对象Petri网的对偶网,并在子网內部设置特殊的库所—条件判断库所来限制消息输入变迁,适用于CAN总线系统的建模。该网通过定义对象子网之间的消息输入和...
- 方华韩江洪刘小平
- 关键词：面向对象PETRI网控制接口CAN总线
- 文献传递
- Petri网的公平性及分析被引量：7
- 2012年
- 公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。
- 韩江洪方华刘小平
