摘要
介绍了高技术虚拟企业信息系统平台的基本含义,采用结构化系统分析方法对其中的业务活动关系进行了详细分析,提出了运用面向对象的赋时Petri网技术建立高技术虚拟企业信息系统平台的模型,并运用整型时间验证技术对系统模型的时间性能进行分析,从而为高技术虚拟企业信息平台的建立奠定基础。
The basic definition of High-tech Virtual Enterprise Information System Platform （HTVE-ISP） is introduced. The relations of business activities in HTVE-ISP are analyzed by structure analysis. The model of HTVE-ISP is proposed based on the Object-oriented Timed Petri net, and the time property of this model is analyzed by using integer time verification technology, which offers a basic guarantee for the successful establishment and operation of HTVE-ISP.
出处
《科技进步与对策》
CSSCI
北大核心
2008年第9期115-120,共6页
Science & Technology Progress and Policy
基金
国家自然科学基金项目(70373058)
哈尔滨理工大学青年科学研究基金项目(2008XQJR001)
黑龙江省教育厅人文社会科学项目(10542177)
黑龙江省留学回国人员基金项目(LC07C08)
