Representation of Monitors by Petri Nets.

被引：0
|
作者：
Steinmetz, Ralf [1 ]
机构：
[1] Technische Hochschule Darmstadt,, Inst fuer Uebertragungstechnik,, Darmstadt, West Ger, Technische Hochschule Darmstadt, Inst fuer Uebertragungstechnik, Darmstadt, West Ger
来源：
Angewandte Informatik, Applied Informatics | 1984年 / 26卷 / 08期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Interprocess communication and synchronization is a central topic of concurrent programming. The semaphore and the monitor concept are well known. In this article the transformation of monitors into Petri nets via the semaphore concept is described. This has the advantage that the theory of Petri nets can be used to analyze the implemented monitors. So the programmer has the opportunity to use the descriptive power of Petri nets to understand implemented concurrent programs. The Petri nets of the monitors can also be used to support the programmer debugging errors based on erroneous programmed synchronization with monitors.
引用
收藏
页码：314 / 322
相关论文
共 50 条
  • [1] REPRESENTATION OF MONITORS BY PETRI NETS
    STEINMETZ, R
    ANGEWANDTE INFORMATIK, 1984, (08): : 314 - 322
  • [2] REFLEXIVE INCIDENCE MATRIX (RIM) REPRESENTATION OF PETRI NETS.
    Das, Sajal
    Agrawal, V.K.
    Sarkar, Dilip
    Patnaik, L.M.
    Goel, P.S.
    IEEE Transactions on Software Engineering, 1987, SE-13 (06) : 643 - 653
  • [3] Switching Systems: Grafcet or Petri Nets.
    Blanchard, Michel
    Nouvel Automatisme, 1979, 24 (06): : 45 - 52
  • [4] DISCRETE TIME STOCHASTIC PETRI NETS.
    Molloy, Michael K.
    IEEE Transactions on Software Engineering, 1985, SE-11 (04) : 417 - 423
  • [5] SAFETY ANALYSIS USING PETRI NETS.
    Leveson, Nancy G.
    Stolzy, Janice L.
    IEEE Transactions on Software Engineering, 1987, SE-13 (03) : 386 - 397
  • [6] Jumping Petri Nets. Specific properties
    Laurentiu, Tiplea, Ferucio
    Makinen, Erkki
    Fundamenta Informaticae, 1997, 32 (3-4): : 373 - 392
  • [7] Modelling and control of continuous and hybrid petri nets.
    Komenda, J
    SYSTEM STRUCTURE AND CONTROL 2001, VOLS 1 AND 2, 2001, : 837 - 842
  • [8] SPNP: Stochastic Petri Nets. Version 6.0
    Hirel, C
    Tuffin, B
    Trivedi, KS
    COMPUTER PERFORMANCE EVALUATION, PROCEEDINGS: MODELLING TECHNIQUES AND TOOLS, 2000, 1786 : 354 - 357
  • [9] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
  • [10] SYSTEMATIC METHOD OF REALIZATION OF INTERPRETED PETRI NETS.
    Auguin, M.
    Boeri, F.
    Andre, C.
    Digital processes, 1980, 6 (01): : 55 - 68
12345