ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

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.

[img] PDF
On_the_invariants_of_colored_Petri_net_models.pdf - Published Version
Restricted to Registered users only

Download (613kB) | Request a copy
Official URL: http://www.springerlink.com/content/w8581334t04036...


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 View Item