Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer (Q1139934)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer |
scientific article |
Statements
Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer (English)
0 references
1980
0 references
Net theory
0 references
Processes
0 references
Systems
0 references
Proceedings
0 references
Advanced Course
0 references
Course
0 references
Hamburg
0 references
general net theory of processes and systems
0 references
Petri nets
0 references
concurrency
0 references
synchronization systems
0 references
category of nets
0 references
reachability
0 references
liveness
0 references
linear algebraic characterization
0 references
atomicity
0 references
path programs
0 references
cyclicity
0 references
reduction
0 references
hierarchical modelling
0 references
dictionary of basic notions
0 references