并发系统建模与分析研究

Study on Modeling and Analysis of Concurrent System

基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。

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.