Designing communicating transaction processes by supervisory control theory (Q878112)
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: Designing communicating transaction processes by supervisory control theory |
scientific article; zbMATH DE number 5146151
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Designing communicating transaction processes by supervisory control theory |
scientific article; zbMATH DE number 5146151 |
Statements
Designing communicating transaction processes by supervisory control theory (English)
0 references
26 April 2007
0 references
Communicating transaction processes
0 references
Message sequence charts
0 references
Supervisory control
0 references
Discrete-event systems
0 references
0.803954005241394
0 references
0.709359347820282
0 references
0.6927982568740845
0 references
0.6906839609146118
0 references
