ANALYSIS OF PETRI NETS BY STEPWISE REFINEMENTS

被引：147

作者：

VALETTE, R

机构：

[1] Laboratoire d'Automatique et d'Analyse des Systèmes, Centre National de la Recherche Scientifique, 31400 Toulouse, 7, avenue du Colonel Roche

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1979年 / 18卷 / 01期

关键词：

D O I：

10.1016/0022-0000(79)90050-3

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

If the firing of a transition in a Petri net is considered non instantaneous, it becomes possible to replace a transition in a net P by another net P′ This allows to proceed the description and the analysis of a control structure by stepwise refinements. The necessary and sufficient conditions on P and P′ for the resulting net to be bounded and live, are given. © 1979.

引用

页码：35 / 46

页数：12