Petri Nets and Programming: A Survey

被引：17
|
作者：
Iordache, Marian V. [1 ]
Antsaklis, Panos J. [2 ]
机构：
[1] LeTourneau Univ, Sch Engn & Engn Technol, Longview, TX 75607 USA
[2] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
来源：
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9 | 2009年
基金：
美国国家科学基金会;
关键词：
SUPERVISION; SEMANTICS;
D O I：
10.1109/ACC.2009.5159987
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets and related models have been used for specification, analysis, and synthesis of programs. The paper contains a survey of several literature approaches and an examination of their relationship to Petri net modeling and supervisory control. The discussion is restricted to Petri net models in the class of place/transitions nets and the supervisory control of this class of models.
引用
收藏
页码：4994 / +
页数：2
相关论文
共 50 条
  • [1] Petri Nets for Concurrent Programming
    Rawson, Marshall
    Rawson, Michael G.
    [J]. 2022 IEEE/ACM FIFTH ANNUAL WORKSHOP ON EMERGING PARALLEL AND DISTRIBUTED RUNTIME SYSTEMS AND MIDDLEWARE, IPDRM, 2022, : 17 - 24
  • [2] A Survey of Petri Nets Slicing
    Khan, Yasir Imtiaz
    Konios, Alexandros
    Guelfi, Nicolas
    [J]. ACM COMPUTING SURVEYS, 2019, 51 (05)
  • [3] A survey of siphons in Petri nets
    Liu, GaiYun
    Barkaoui, Kamel
    [J]. INFORMATION SCIENCES, 2016, 363 : 198 - 220
  • [4] Verifying time Petri nets by linear programming
    Li, XD
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (01) : 39 - 46
  • [5] On temporal logic programming using Petri nets
    Zaidi, AK
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (03): : 245 - 254
  • [6] Verifying Time Petri Nets by Linear Programming
    李宣东
    [J]. Journal of Computer Science & Technology, 2001, (01) : 39 - 46
  • [7] THE USE OF PETRI NETS FOR OCCAM PROGRAMMING FOR TRANSPUTERS
    LAU, MWS
    SEET, G
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1993, 17 (03) : 155 - 163
  • [8] Verifying time Petri nets by linear programming
    Xuandong Li
    [J]. Journal of Computer Science and Technology, 2001, 16 : 39 - 46
  • [9] PLC programming with signal interpreted Petri nets
    Klein, S
    Frey, G
    Minas, M
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 440 - 449
  • [10] Verification of bounded Petri nets using integer programming
    Khomenko, Victor
    Koutny, Maciej
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (02) : 143 - 176
12345