未找到相关数据
并发系统建模与分析研究
被引：2
作者：
蒋昌俊，郑应平，疏松桂
机构：
[1] 中国科学院自动化研究所
来源：
关键词：
并发系统,概念模型,Petri网模型;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081201 ;
1201 ;
摘要：
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。
引用
收藏
页码：21 / 25
页数：5
相关论文