Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918)
From MaRDI portal
scientific article
| 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 |
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
