基于Petri网语言的系统设计与分析

被引：4

作者：

蒋昌俊

郑应平

疏松桂

机构：

[1] 不详

[2] 山东矿业学院

[3] 不详

[4] 中国科学院自动化所

[5] 不详

来源：

关键词：

并发系统,Petri网语言,模型,建模,分析,控制,优选;

D O I：

暂无

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

摘要：

本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较，从而优选出好的设计方案

引用

页码：28 / 34

页数：7

共 5 条

[1] 随机Petri网同步并发行为的定量分析方法 [J].

蒋昌俊 ;

疏松桂 ;

郑应平 .

[2] Petri网的叠加运算 [J].

蒋昌俊 .

[3] 基于Petri网运算的系统范例分析附视频 [J].

蒋昌俊 .

[4] 加权T图的几种化简运算 [J].

蒋昌俊 .

[5] Petri网的广义笛积运算 [J].

蒋昌俊 .