Reflexive Incidence Matrix (RIM) Representation of Petri Nets

Sajal K. Das, Dilip Sarkar, V. K. Agrawal, P. S. Goel, L. M. Patnaik

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of self-loops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called “reflexive incidence matrix (RIM) Cr,” which is a combination of two matrices, a “base matrix Cb, and a “power matrix CP.” This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

Original languageEnglish (US)
Pages (from-to)643-653
Number of pages11
JournalIEEE Transactions on Software Engineering
VolumeSE-13
Issue number6
DOIs
StatePublished - Jan 1 1987
Externally publishedYes

Fingerprint

Petri nets
Network protocols
Data storage equipment
Processing

Keywords

  • Incidence matrix
  • Petri net
  • reflexivity
  • self-loop
  • space complexity
  • time complexity

ASJC Scopus subject areas

  • Software

Cite this

Reflexive Incidence Matrix (RIM) Representation of Petri Nets. / Das, Sajal K.; Sarkar, Dilip; Agrawal, V. K.; Goel, P. S.; Patnaik, L. M.

In: IEEE Transactions on Software Engineering, Vol. SE-13, No. 6, 01.01.1987, p. 643-653.

Research output: Contribution to journalArticle

Das, Sajal K. ; Sarkar, Dilip ; Agrawal, V. K. ; Goel, P. S. ; Patnaik, L. M. / Reflexive Incidence Matrix (RIM) Representation of Petri Nets. In: IEEE Transactions on Software Engineering. 1987 ; Vol. SE-13, No. 6. pp. 643-653.
@article{d21de5dbf54147c692914f0c6d557b1d,
title = "Reflexive Incidence Matrix (RIM) Representation of Petri Nets",
abstract = "Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of self-loops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called “reflexive incidence matrix (RIM) Cr,” which is a combination of two matrices, a “base matrix Cb, and a “power matrix CP.” This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.",
keywords = "Incidence matrix, Petri net, reflexivity, self-loop, space complexity, time complexity",
author = "Das, {Sajal K.} and Dilip Sarkar and Agrawal, {V. K.} and Goel, {P. S.} and Patnaik, {L. M.}",
year = "1987",
month = "1",
day = "1",
doi = "10.1109/TSE.1987.233202",
language = "English (US)",
volume = "SE-13",
pages = "643--653",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",

}

TY - JOUR

T1 - Reflexive Incidence Matrix (RIM) Representation of Petri Nets

AU - Das, Sajal K.

AU - Sarkar, Dilip

AU - Agrawal, V. K.

AU - Goel, P. S.

AU - Patnaik, L. M.

PY - 1987/1/1

Y1 - 1987/1/1

N2 - Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of self-loops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called “reflexive incidence matrix (RIM) Cr,” which is a combination of two matrices, a “base matrix Cb, and a “power matrix CP.” This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

AB - Although incidence matrix representation has been used to analyze the Petri net based models of a system, it has the limitation that it does not preserve reflexive properties (i.e., the presence of self-loops) of Petri nets. But in many practical applications self-loops play very important roles. This paper proposes a new representation scheme for general Petri nets. This scheme defines a matrix called “reflexive incidence matrix (RIM) Cr,” which is a combination of two matrices, a “base matrix Cb, and a “power matrix CP.” This scheme preserves the reflexive and other properties of the Petri nets. Through a detailed analysis it is shown that the proposed scheme requires less memory space and less processing time for answering commonly encountered net queries compared to other schemes. Algorithms to generate the RIM from the given net description and to decompose RIM into input and output function matrices are also given. The proposed Petri net representation scheme is very useful to model and analyze the systems having shared resources, chemical processes, network protocols, etc., and to evaluate the performance of asynchronous concurrent systems.

KW - Incidence matrix

KW - Petri net

KW - reflexivity

KW - self-loop

KW - space complexity

KW - time complexity

UR - http://www.scopus.com/inward/record.url?scp=0023366121&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023366121&partnerID=8YFLogxK

U2 - 10.1109/TSE.1987.233202

DO - 10.1109/TSE.1987.233202

M3 - Article

AN - SCOPUS:0023366121

VL - SE-13

SP - 643

EP - 653

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 6

ER -