Extended colored Petri net: An efficient tool for analyzing concurrent systems

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

Research output: Contribution to journalArticle

Abstract

This paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, we present a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme.

Original languageEnglish (US)
Pages (from-to)191-218
Number of pages28
JournalInformation Sciences
Volume54
Issue number3
DOIs
StatePublished - Apr 1991

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications
  • Information Systems and Management
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Extended colored Petri net: An efficient tool for analyzing concurrent systems'. Together they form a unique fingerprint.

  • Cite this