Reduction rules for reset/inhibitor nets

Verbeek, Eric, Wynn, Moe, van der Aalst, Wil, & ter Hofstede, Arthur (2009) Reduction rules for reset/inhibitor nets. Journal of Computer and System Sciences, 76(2), pp. 125-143.

View at publisher


Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

Impact and interest:

15 citations in Scopus
9 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 43288
Item Type: Journal Article
Refereed: Yes
Keywords: Reduction Rules, Petri Nets, Inhibitor Nets, Reset Nets, Reset Arcs, Inhibitor Arcs, Liveness, Boundedness, Verification
DOI: 10.1016/j.jcss.2009.06.003
ISSN: 0022-0000
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTATION THEORY AND MATHEMATICS (080200)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Systems not elsewhere classified (080699)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Deposited On: 13 Jul 2011 13:11
Last Modified: 03 Dec 2012 02:08

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page