随机Petri网同步并发行为的定量分析方法

被引：4

作者：

蒋昌俊

疏松桂

郑应平

机构：

[1] 中科院自动化所

[2] 中科院自动化所北京

[3] 北京

[4] 北京

来源：

关键词：

随机Petri网; 并发机制; 步; 建模; 分析;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

摘要：

传统的随机Petri网定量分析都是针对顺序行为的,而并发描述却是Petri网引以为骄傲的内容,这就形成Petri网擅长描述并发,却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Petri网定量分析方法,旨在改进传统的分析方法,使Petri网真正成为并发系统建模与分析的有力工具。

引用

页码：78 / 85

页数：8