Marking diagnosability verification in labeled Petri nets (Q2665360)
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: Marking diagnosability verification in labeled Petri nets |
scientific article; zbMATH DE number 7430148
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Marking diagnosability verification in labeled Petri nets |
scientific article; zbMATH DE number 7430148 |
Statements
Marking diagnosability verification in labeled Petri nets (English)
0 references
19 November 2021
0 references
marking diagnosability
0 references
Petri net
0 references
discrete event system
0 references
basis reachability graph
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0.92278457
0 references
0.90658057
0 references
0.9031303
0 references
0 references
0.8983242
0 references
0.8950862
0 references
0.89435685
0 references
