PETRI NETS FOR MODELING OF DYNAMIC-SYSTEMS - A SURVEY

被引:210
作者
DAVID, R [1 ]
ALLA, H [1 ]
机构
[1] INST NATL POLYTECH GRENOBLE,CNRS,LAB AUTOMAT GRENOBLE,BP 46,F-38402 ST MARTIN DHERES,FRANCE
关键词
PETRI NET; PROPERTIES; MODELING; DYNAMIC SYSTEMS; DISCRETE EVENT SYSTEMS; CONTINUOUS SYSTEMS;
D O I
10.1016/0005-1098(94)90024-8
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Petri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors comprising concurrency, synchronization and resource sharing. Secondly the theoretical results concerning them are plentiful. The aim of this paper is to present the basic concept relative to Petri nets and the various classes of derived models which can be used for dynamic system modeling. The tool enables qualitative and quantitative analysis and its numerous applications have been still further increased by a number of research workers to enable more condensed descriptions, even where the time factor intervenes, such as synchronized, timed, stochastic, colored and continuous models. Each of these models thus has its own specific character and privileged fields of application. Nevertheless, the ordinary Petri net forms a common basis: it may be likened to a 'common language' allowing dialogue between persons of very varied training backgrounds.
引用
收藏
页码:175 / 202
页数:28
相关论文
共 46 条
[1]  
ALLA H, 1992, MODELISATION RESEAUX
[2]   PETRI NETS THEORY FOR THE CORRECTNESS OF PROTOCOLS [J].
BERTHELOT, G ;
TERRAT, R .
IEEE TRANSACTIONS ON COMMUNICATIONS, 1982, 30 (12) :2497-2505
[3]  
BRAMS GW, 1983, RESEAUX PETRI THEORI
[4]  
BRINKMAN PL, 1990, 1990 EUR SIM S GHENT
[5]  
CARLIER J, 1983, 4TH EUR WORKSH THEOR
[6]  
CHRETIENNE P, 1983, THESIS PARIS 6 U
[7]   ALGEBRAIC TOOLS FOR THE PERFORMANCE EVALUATION OF DISCRETE EVENT SYSTEMS [J].
COHEN, G ;
MOLLER, P ;
QUADRAT, JP ;
VIOT, M .
PROCEEDINGS OF THE IEEE, 1989, 77 (01) :39-58
[8]  
COLOM JM, 1989, 10TH INT C APPL THEO
[9]  
David R., 1992, PETRI NETS GRAFCET T
[10]  
David R., 1987, P 8 EUR WORKSH APPL, P275