Automata and concurrency (Q794437)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automata and concurrency |
scientific article |
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