Brauer, Wilfried (ed.) [Petri, C. A.; Genrich, H.; Lautenbach, K.; Thiagarajan, P.; Jantzen, M.; Valk, R.; Memmi, G.; Roncairol, G.; Best, E.; Berthelot, G.; Sifakis, J.; Noe, J.; Shapiro, R.; Zuse, K.; Oberquelle, H.; Stankiewicz-Wiechno, E.] 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) Zbl 0434.68040 Lecture Notes in Computer Science, 84. Berlin-Heidelberg-New York: Springer-Verlag. XIII, 537 p. DM 49.00; $ 29.00 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 ReviewsCited in 11 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q65 Abstract data types; algebraic specification 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 00Bxx Conference proceedings and collections of articles Keywords:Net theory; Processes; Systems; Proceedings; Advanced Course; Course; Hamburg; general net theory of processes and systems; Petri nets; concurrency; synchronization systems; category of nets; reachability; liveness; linear algebraic characterization; atomicity; path programs; cyclicity; reduction; hierarchical modelling; dictionary of basic notions PDFBibTeX XML