基于OOTPN的高技术虚拟企业ISP建模

介绍了高技术虚拟企业信息系统平台的基本含义,采用结构化系统分析方法对其中的业务活动关系进行了详细分析,提出了运用面向对象的赋时Petri网技术建立高技术虚拟企业信息系统平台的模型,并运用整型时间验证技术对系统模型的时间性能进行分析,从而为高技术虚拟企业信息平台的建立奠定基础。面向对象的赋时Petri网高技术虚拟企业信息系统平台