Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357)
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: Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices |
scientific article; zbMATH DE number 7872598
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices |
scientific article; zbMATH DE number 7872598 |
Statements
Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (English)
0 references
27 June 2024
0 references
Petri nets (PNs)
0 references
reachability
0 references
controllability
0 references
marking evolution equation (MEE)
0 references
semi-tensor product (STP) of matrices
0 references
0 references
0 references
