Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Necessary and sufficient liveness condition of GS3PR Petri nets |
scientific article; zbMATH DE number 6442559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets |
scientific article; zbMATH DE number 6442559 |
Statements
Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (English)
0 references
3 June 2015
0 references
Petri net
0 references
liveness
0 references
siphon
0 references
controllability condition
0 references
0 references
0.8553593
0 references
0.85418576
0 references
0.8479686
0 references
0 references
0.8446016
0 references
0.8434042
0 references
