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 条
  • [41] Modeling and performance analysis of cluster tools using Petri nets
    Srinivasan, RS
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 394 - 403
  • [42] Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures
    Unruh, Elina
    Delfmann, Patrick
    Thimm, Matthias
    2021 IEEE 23RD CONFERENCE ON BUSINESS INFORMATICS, CBI 2021, VOL 1, 2021, : 42 - 51
  • [43] Analysis of Soccer Robot Behaviors using Time Petri nets
    Ponsini, Daniel
    Yang, Yilin
    Kim, Seung-yun
    PROCEEDINGS OF 2016 IEEE 17TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI), 2016, : 270 - 274
  • [44] Deadlock analysis of Petri nets using siphons and mathematical programming
    Chu, F
    Xie, XL
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (06): : 793 - 804
  • [45] A STUDY ON THE DESIGN AND RELIABILITY-ANALYSIS OF CONCURRENT SYSTEM BY PETRI NETS - A CASE ON LIFT SYSTEM
    KIM, GB
    LEE, GS
    YOON, JM
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1993, E76A (10) : 1610 - 1613
  • [46] A dynamic programming algorithm to determine optimal assembly sequences using Petri nets
    Yee, ST
    Ventura, JA
    INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-THEORY APPLICATIONS AND PRACTICE, 1999, 6 (01): : 27 - 37
  • [47] Some subclasses of Petri nets and the analysis of their structural properties: A new approach
    Amer-Yahia, C
    Zerhouni, N
    El Moudni, A
    Ferney, M
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (02): : 164 - 172
  • [48] Petri nets properties related to the unboundness and analyzed using coverability multigraph
    Hruz, B.
    Luptakova, I. Dirgova
    Beno, M.
    JOURNAL OF APPLIED MATHEMATICS STATISTICS AND INFORMATICS, 2014, 10 (02) : 51 - 67
  • [49] Stochastic Dynamic Simulation Model Applied to Public Lawyers using Petri Nets
    Cordova, Felisa M.
    Cifuentes, Fernando
    PROMOTING BUSINESS ANALYTICS AND QUANTITATIVE MANAGEMENT OF TECHNOLOGY: 4TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND QUANTITATIVE MANAGEMENT (ITQM 2016), 2016, 91 : 532 - 541
  • [50] Structured model representation of manufacturing processes using Petri nets and knowledge based tools
    Horvath, L
    Rudas, IJ
    CamarinhaMatos, LM
    BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, : 472 - 480
12345