Affordable Access

Publisher Website

Structure matrices for petri nets and their applications

Authors
Journal
Journal of the Franklin Institute
0016-0032
Publisher
Elsevier
Publication Date
Volume
319
Issue
3
Identifiers
DOI: 10.1016/0016-0032(85)90052-3
Disciplines
  • Computer Science

Abstract

Abstract 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.

There are no comments yet on this publication. Be the first to share your thoughts.