并发系统建模与分析研究  

Study on Modeling and Analysis of Concurrent System

作　　者：蒋昌俊[1] 郑应平[1] 疏松桂[1] 

机构地区：[1]中国科学院自动化研究所

出　　处：《高技术通讯》1996年第6期21-25,共5页Chinese High Technology Letters

基　　金：国家自然科学基金;863计划资助

摘　　要：基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。A concept model is presented in this paper.It can be used to characterize a concurret system. The concept model includes function graph, resource graph and restriction set. An algorithm which transforms concept model to Petri net model is also given.

关 键 词：并发系统 概念模型 PETRI网模型 计算机 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]