Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918)
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: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems |
scientific article; zbMATH DE number 7490728
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems |
scientific article; zbMATH DE number 7490728 |
Statements
Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (English)
0 references
15 March 2022
0 references
safeness
0 references
control part of cyber-physical system
0 references
Petri net
0 references
state machine cover
0 references
place invariant
0 references
0 references
0 references
0.88819313
0 references
0.87048614
0 references
0 references
0.8636083
0 references
0.8603291
0 references
0.8547894
0 references
