基于对象替换运算的Petri网及其应用
结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子网独立和异构等特性。最后,本文以车身分布式控制系统对此方法加以分析和验证。
面向对象 Petri网 替换运算 分布式系统
方华 韩江洪 刘小平
合肥工业大学计算机与信息学院,合肥 230009
国内会议
天津
中文
132-135
2009-08-22（万方平台首次上网日期，不代表论文的发表时间）