On the invariants of coloured Petri Nets

Narahari, Y and Viswanadham, N (1986) On the invariants of coloured Petri Nets. In: Lecture Notes in Computer Science, 222 . 330 -345.

PDF On_the_invariants_of_colored_Petri_net_models.pdf - Published Version Restricted to Registered users only Download (613kB) | Request a copy

Abstract

In this paper, we develop a theorem that enables computation of the place invariants of the union of a finite collection of coloured Petri Nets when the individual nets satisfy certain conditions and their invariants are known. We consider the illustrative examples of the Readers-Writers problem, a resource sharing system, and a network of databases and show how this theorem is a valuable tool in the analysis of concurrent systems.

Item Type:	Journal Article
Publication:	Lecture Notes in Computer Science
Publisher:	Springer
Additional Information:	Copyright of this article belongs to Springer.
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	05 Feb 2010 10:24
Last Modified:	19 Sep 2010 05:35
URI:	http://eprints.iisc.ac.in/id/eprint/20932

Actions (login required)

View Item