Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism |
scientific article |
Statements
Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (English)
0 references
18 March 2015
0 references
component Petri net
0 references
composite component
0 references
incidence matrix
0 references
TSS-algorithm
0 references
invariant
0 references
model verification
0 references
