REFLEXIVE INCIDENCE MATRIX (RIM) REPRESENTATION OF PETRI NETS.

被引：0
|
作者：
Das, Sajal [1 ]
Agrawal, V.K. [1 ]
Sarkar, Dilip [1 ]
Patnaik, L.M. [1 ]
Goel, P.S. [1 ]
机构：
[1] Washington State Univ, Pullman, WA,, USA, Washington State Univ, Pullman, WA, USA
来源：
IEEE Transactions on Software Engineering | 1987年 / SE-13卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
页码：643 / 653
相关论文
共 50 条
  • [1] REFLEXIVE INCIDENCE MATRIX (RIM) REPRESENTATION OF PETRI NETS
    DAS, SK
    AGRAWAL, VK
    SARKAR, D
    PATNAIK, LM
    GOEL, PS
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) : 643 - 653
  • [2] Representation of Monitors by Petri Nets.
    Steinmetz, Ralf
    Angewandte Informatik, Applied Informatics, 1984, 26 (08): : 314 - 322
  • [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] Matrix Representation of Parameterised Fuzzy Petri Nets
    Suraj, Zbigniew
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2013, 8170 : 200 - 207
  • [8] Modelling and control of continuous and hybrid petri nets.
    Komenda, J
    SYSTEM STRUCTURE AND CONTROL 2001, VOLS 1 AND 2, 2001, : 837 - 842
  • [9] 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
  • [10] Description and Validation of Communication Protocols by Petri Nets.
    Accarino, N.
    Rossi, C.
    Trigila, S.
    Note, recensioni, notizie, 1981, 30 (02): : 49 - 65
12345