|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| S.K. Das, V.K. Agrawal, D. Sarkar, L.M. Patnaik, P.S. Goel, "Reflexive Incidence Matrx (RIM) Representation of Petri Nets," IEEE Transactions on Software Engineering, vol. 13, no. 6, pp. 643-653, June, 1987. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.233202, author = {S.K. Das and V.K. Agrawal and D. Sarkar and L.M. Patnaik and P.S. Goel}, title = {Reflexive Incidence Matrx (RIM) Representation of Petri Nets}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {6}, issn = {0098-5589}, year = {1987}, pages = {643-653}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233202}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Reflexive Incidence Matrx (RIM) Representation of Petri Nets IS - 6 SN - 0098-5589 SP643 EP653 EPD - 643-653 A1 - S.K. Das, A1 - V.K. Agrawal, A1 - D. Sarkar, A1 - L.M. Patnaik, A1 - P.S. Goel, PY - 1987 KW - time complexity KW - Incidence matrix KW - Petri net KW - reflexivity KW - self-loop KW - space complexity VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
time complexity, Incidence matrix, Petri net, reflexivity, self-loop, space complexity
Citation:
S.K. Das, V.K. Agrawal, D. Sarkar, L.M. Patnaik, P.S. Goel, "Reflexive Incidence Matrx (RIM) Representation of Petri Nets," IEEE Transactions on Software Engineering, vol. 13, no. 6, pp. 643-653, June 1987, doi:10.1109/TSE.1987.233202
Usage of this product signifies your acceptance of the Terms of Use.

