Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field

被引:50
作者
Silva, Manuel [1 ]
机构
[1] Univ Zaragoza, I3A, E-50009 Zaragoza, Spain
基金
奥地利科学基金会;
关键词
DISCRETE-EVENT SYSTEMS; RESOURCE-ALLOCATION SYSTEMS; PERFORMANCE EVALUATION; FAULT-DETECTION; FORMAL VERIFICATION; DEADLOCK-AVOIDANCE; NETS; HYBRID; SIMULATION; DIAGNOSIS;
D O I
10.1016/j.arcontrol.2013.09.001
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
It is certainly worth remarking on half a century of a work defining a landmark in Discrete Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some historical facts with elements of a conceptual view on concurrent DEDS, giving pointers about the development of the field. Simplifying the historical trajectory, it can be said that the seed sown by Carl Adam Petri in 1962 first grew in America (essentially until the mid 1970s), where an appropriate intellectual ambiance existed in computer science, business process management and switching systems design. Later, many other new lines of activity, including logic control and performance evaluation, flourished in Europe. Today Petri nets are widespread all over the world. The conceptual paradigm of Petri nets deals inter alia with modeling, logical analysis, performance evaluation, parametric optimization, dynamic control, diagnosis and implementation issues. In summary, multidisciplinary in themselves, formalisms belonging to the Petri nets paradigm may cover several phases of the life-cycle of complex DEDS. Given the hundreds of research and text monographs on Petri nets, together with the many thousands of theoretical and applied contributions on the subject, not to mention the ISO (International Organization for Standardization) or IEC (International Electrotechnical Commission) standards for the use of Petri nets in engineering, this work cannot hope to be a complete survey or a tutorial in the more classical sense. It is more of an impressionistic overview of the field. (C) 2013 Elsevier Ltd. All rights reserved.
引用
收藏
页码:191 / 219
页数:29
相关论文
共 299 条
  • [1] AGERWALA T, 1979, COMPUTER, V12, P85, DOI 10.1109/MC.1979.1658580
  • [2] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    HALBWACHS, N
    HENZINGER, TA
    HO, PH
    NICOLLIN, X
    OLIVERO, A
    SIFAKIS, J
    YOVINE, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 3 - 34
  • [3] [Anonymous], 1980, LNCS
  • [4] [Anonymous], IFAC INT S DISCR SYS
  • [5] [Anonymous], LECT NOTES CONTROL I
  • [6] [Anonymous], PETRINET ALGEBRA
  • [7] [Anonymous], CONTINUOUS PETRI NET
  • [8] [Anonymous], LECT NOTES SERIES
  • [9] [Anonymous], J SYSTEMS ANAL MODEL
  • [10] [Anonymous], THESIS