A decomposition algorithm of Petri net utilizing index function (Q5082440)
From MaRDI portal
scientific article; zbMATH DE number 7542981
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A decomposition algorithm of Petri net utilizing index function |
scientific article; zbMATH DE number 7542981 |
Statements
A decomposition algorithm of Petri net utilizing index function (English)
0 references
16 June 2022
0 references
decomposition algorithm
0 references
dynamic properties
0 references
index function
0 references
Petri net
0 references
state explosion
0 references
