Petri nets at modelling and control of discrete-event systems with nondeterminism. II (Q6487693)
From MaRDI portal
scientific article; zbMATH DE number 7654764
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets at modelling and control of discrete-event systems with nondeterminism. II |
scientific article; zbMATH DE number 7654764 |
Statements
Petri nets at modelling and control of discrete-event systems with nondeterminism. II (English)
0 references
16 February 2023
0 references
control synthesis
0 references
discrete-event systems
0 references
error recovery
0 references
interpreted Petri nets
0 references
modelling
0 references
labelled Petri nets
0 references
place/transition Petri nets
0 references
uncertainty
0 references
uncontrollable transitions
0 references
unmeasurable places
0 references
unobservable transitions
0 references
