Application of modified Martinez-Silva algorithm in determination of net cover

In the article we present the idea of modifications of Martinez-Silva algorithm, which allows for determination of place invariants (p-invariants) of Petri net. Their generation time is important in the parallel decomposition of discrete systems described by Petri nets. Decomposition process is esse...

Full description

Saved in:
Bibliographic Details
Main Authors: Stefanowicz, Łukasz, Grobelna, Iwona
Format: Conference Proceeding
Language:English
Subjects:
Algorithms
Decomposition
Discrete systems
Invariants
Petri nets
Systems design
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In the article we present the idea of modifications of Martinez-Silva algorithm, which allows for determination of place invariants (p-invariants) of Petri net. Their generation time is important in the parallel decomposition of discrete systems described by Petri nets. Decomposition process is essential from the point of view of discrete system design, as it allows for separation of smaller sequential parts. The proposed modifications of Martinez-Silva method concern the net cover by p-invariants and are focused on two important issues: cyclic reduction of invariant matrix and cyclic checking of net cover.
ISSN:0094-243X
1551-7616
DOI:10.1063/1.4968657