Automata and concurrency (Q794437)
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: Automata and concurrency |
scientific article; zbMATH DE number 3860402
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata and concurrency |
scientific article; zbMATH DE number 3860402 |
Statements
Automata and concurrency (English)
0 references
1983
0 references
Nets of asynchronous parallel automata are defined. The author gives properties of these nets, e.g. compares them with Petri nets. He shows modular decomposition of Petri nets by nets over a given base.
0 references
modular Petri nets
0 references
simulation
0 references
concurrency
0 references
Nets of asynchronous parallel automata
0 references
modular decomposition
0 references
0 references
0 references
