Petri nets2. Applications

被引：0
|
作者：
Y. Narahari
机构：
[1] Indian Institute of Science,Department of Computer Science and Automation
来源：
Resonance | 1999年 / 4卷 / 9期
关键词：
Flexible Manufacturing System; Deadlocked State; Reachable Marking; Computer Operating System; Simple Building Block;
D O I：
10.1007/BF02834232
中图分类号：
学科分类号：
摘要：
Petri nets offer a versatile modeling framework for complex, distributed, concurrent systems and have been used in a wide range of modeling applications. In Part 1 of this two-part article, we have seen important features and representational power of the Petri net model. We have also seen how the application of firing rules enables Petri nets to capture the dynamics or behavior of the modeled system. In this part, we will first understand how important system properties are modeled by Petri nets and then look into the applications of Petri net models.
引用
收藏
页码：44 / 52
页数：8
相关论文
共 50 条
  • [21] Petri nets with clocks and applications to the model of processes
    Vilallonga, G
    Riesco, D
    Montejano, G
    Uzal, R
    Felice, L
    ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 593 - 597
  • [22] Modeling Multithreaded Applications Using Petri Nets
    Krishna M. Kavi
    Alireza Moshtaghi
    Deng-jyi Chen
    International Journal of Parallel Programming, 2002, 30 : 353 - 371
  • [23] TIMED PETRI NETS DEFINITIONS, PROPERTIES, AND APPLICATIONS
    ZUBEREK, WM
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 627 - 644
  • [24] Properties and applications of synchronized choice Petri nets
    Chao, DY
    Niedao, JA
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2742 - 2747
  • [25] Special issue on engineering applications of Petri nets
    Jeng, Mu-Der
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2007, 37 (04): : 442 - 443
  • [26] HIERARCHY AND PARALLELISM IN PETRI NETS .2. COMPOSITE AUTOMATION PETRI NETS WITH PARALLELISM
    TAL, AA
    YUDITSKII, SA
    AUTOMATION AND REMOTE CONTROL, 1982, 43 (09) : 1167 - 1171
  • [27] The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets
    Tiplea, Ferucio Laurentiu
    Leahu, Ioana
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (02): : 303 - 312
  • [28] AUGMENTED PETRI NETS - A SPECIFICATION TOOL FOR COMPLEX APPLICATIONS
    LIGGESMEYER, P
    STURM, L
    ANGEWANDTE INFORMATIK, 1988, 30 (06): : 252 - 258
  • [29] INDUSTRIAL APPLICATIONS OF PETRI NETS: SYSTEM MODELLING AND SIMULATION
    Jimenez, Emilio
    Perez, Mercedes
    Latorre, Ignacio
    INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 159 - +
  • [30] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
12345