Completeness results for single-path Petri nets (Q690244)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness results for single-path Petri nets |
scientific article |
Statements
Completeness results for single-path Petri nets (English)
0 references
6 May 1994
0 references
A new subclass of persistent Petri nets, called single-path Petri nets, is introduced and some of its basic properties are studied. Each of these nets is an (ordinary) Petri net with only one complete path (i.e., which cannot be extended) in it. The paper contains interesting ideas in the frames of Petri net theory.
0 references
persistent Petri nets
0 references
