Structure matrices for Petri nets and their applications (Q2266589)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Structure matrices for Petri nets and their applications |
scientific article |
Statements
Structure matrices for Petri nets and their applications (English)
0 references
1985
0 references
Petri nets serve as a model of computer systems which involve concurrent processes. Conflict and confluence are relations which can limit concurrency in many situations, while precedence between processes can completely negate any concurrency. This paper introduces several new matrices which show important relationships between transitions and places in Petri nets. These matrices are grouped into three types: conflict, confluence and precedence matrices. It is also shown that the matrices help to classify nets into widely known subclasses.
0 references
conflict matrices
0 references
confluence matrices
0 references
concurrency
0 references
relationships between transitions and places in Petri nets
0 references
precedence matrices
0 references