摘要
结合替换运算和面向对象技术,对复杂系统建立逐步加细的分层模型,提出一种解决分布式系统中子系统异构所带来的复杂状态空间问题的方法。该方法对对象采用替换运算,将被替换对象定义为消息输入和输出的综合库所,并对综合库所进行库所型子网替换。基于对象替换的Petri网建模方法,通过对系统层次的划分和对对象的建模,并使用库所替换运算对子系统对象和子系统内部对象进行各类子网的替换加细,因而得到的模型具有可扩展、子网独立和异构等特性。最后,本文以车身分布式控制系统对此方法加以分析和验证。
Based on object-oriented Petri net(OOPN) and substitution operation,a method to resolve the problems from heterogeneous subsystems in the complicated distributed systems was proposed.In this method,objects are defined to input and output messages combo places,which are also substituted subsequently.Since the method is based on the objects substitution operation,partition on the system level,model for objects and the subnets to hierarchical models until the whole system is completed in detail,the model from this method is characterized for its extensibility,subnets independence,heterogeneity and so on.The method was analyzed and verified in the automotive body control system.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期132-135,共4页
Journal of System Simulation
基金
教育部博士点基金(20050359004)
关键词
面向对象PETRI网
替换运算
建模
分布式系统
object-oriented Petri net
substitution operation
modeling
distributed system
