STATIC ANALYSIS OF CONCURRENT PROCESSES FOR DYNAMIC PROPERTIES USING PETRI NETS.

被引：0
作者：
Herzog, Otthein
机构：
来源：
Instrument Maintenance Management | 1979年 / 70卷
关键词：
PETRI NETS;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A new subclass of Petri Nets is presented called the ″Extended Control Structure Nets″ . The control structure of arbitrarily structured parallel programs can be represented by nets of this class, even if they include operations on general semaphores. First of all, the purely statical structure of the Extended Control Structure Nets is dealt with, i. e. the graph of these nets. It is defined, in which way these nets are recursively generated by a composition of connected state machines which in turn represent the control structure of sequential parts of a parallel program or event variables resp. semaphores. Various properties of these graphs of Extended Control Structure Nets are stated. In addition, some special paths in these graphs are defined which are meaningful in respect to the underlying interpretation and thus are important for the later structural analysis.
引用
收藏
页码：66 / 90
相关论文
共 50 条
  • [21] Power Grids' Dynamic Enlargement Calculus Using Petri Nets
    Munteanu, Radu
    Dub, Vasile
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2011, 11 (02) : 73 - 78
  • [22] Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous Petri Nets
    Cheng, Jianyi
    Fraca, Estibaliz
    Wickerson, John
    Constantinides, George A.
    IEEE TRANSACTIONS ON COMPUTERS, 2023, 72 (11) : 3300 - 3313
  • [23] PERFORMANCE EVALUATION OF COMMUNICATING SEQUENTIAL PROCESSES (CSP) USING PETRI NETS
    MAGOTT, J
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1992, 139 (03): : 237 - 241
  • [24] CREATING MODEL EDUCATIONAL PROCESSES USING PETRI NETS IMPLEMENTED IN THE LMS
    Balogh, Zoltan
    Turcani, Milan
    Magdin, Martin
    Burianova, Maria
    EFFICIENCY AND RESPONSIBILITY IN EDUCATION 2012, 2012, : 7 - 16
  • [25] Modeling and analysis of remote diagnosis using Petri Nets
    Chen Lin
    Wei Shutao
    Xie Xiaowen
    2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-5, 2007, : 2133 - +
  • [26] Decentralized implementation of real-time systems using time petri nets.: Application to mobile robot control.
    García, FJ
    Villarroel, JL
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1998 (AARTC'98), 1998, : 11 - 16
  • [27] Deadlock analysis of Petri nets using the transitive matrix
    Song, YJ
    Lee, JK
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 689 - 694
  • [28] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming
    Tricas, F
    Colom, JM
    Ezpeleta, J
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 542 - 546
  • [29] Distributed Monitoring of Temporal System Properties using Petri Nets
    Baldellon, Olivier
    Fabre, Jean-Charles
    Roy, Matthieu
    2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), 2012, : 398 - 399
  • [30] Handling concurrent requests in a secret sharing based storage system using Petri Nets
    Gupta, Priyanka
    Garg, Gagan
    13TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED NETWORKS AND TELECOMMUNICATION SYSTEMS (IEEE ANTS), 2019,
12345