Title

Invariant-Preserving Petri Net Reduction And Conditions For Invariant-Existence

Comments

Authors: contact us about adding a copy of your work at STARS@ucf.edu

Abbreviated Journal Title

Comput. Electr. Eng.

Keywords

Computer Science; Hardware & Architecture; Computer Science, ; Interdisciplinary Applications; Engineering; Electrical & Electronic

Abstract

The use of invariants is an important tool for analysis of distributed and concurrent systems modeled by Petri nets. For a large practical system, the computation of desired invariants by the existing techniques is a time-consuming task. This paper proposes a theoretical foundation for simplified computation of desired invariants. We provide invariant-preserving Petri net reduction rules followed by the conditions for the existence of invariants in various well-structured nets. If an invariant exists, it can be found directly from the net structure using the formulas derived, or by applying the existing techniques on the reduced net.

Journal Title

Computers & Electrical Engineering

Volume

14

Issue/Number

3-4

Publication Date

1-1-1988

Document Type

Article

Language

English

First Page

75

Last Page

91

WOS Identifier

WOS:A1988U368900002

ISSN

0045-7906

Share

COinS