Advanced Course: Net Theory and Applications 1975

Wilfried Brauer (Ed.): Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Lecture Notes in Computer Science 84 Springer 1980, ISBN 3-540-10001-6

@proceedings{DBLP:conf/ac/1975nt,
  editor    = {Wilfried Brauer},
  title     = {Net Theory and Applications, Proceedings of the Advanced Course
               on General Net Theory of Processes and Systems, Hamburg, October
               8-19, 1979},
  booktitle = {Advanced Course: Net Theory and Applications 1975},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {84},
  year      = {1980},
  isbn      = {3-540-10001-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

C. A. Petri: Introduction to General Net Theory. 1-19
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan: Elements of General Net Theory. 21-163
Matthias Jantzen, Rüdiger Valk: Formal Properties of Place/Transition Nets. 165-212
Gérard Memmi, Gérard Roucairol: Linear Algebra in Net Theory. 213-223
Eike Best: Atomicity of Activities. 225-250
C. A. Petri: Concurrency. 251-260
Eike Best: The Relative Strength of K-Density. 261-276
Gérard Berthelot, Gérard Roucairol, Rüdiger Valk: Reductions of Nets and Parallel Prgrams. 277-290
Eike Best: Adequacy of Path Programs. 291-305
Joseph Sifakis: Performance Evaluation of Systems Using Nets. 307-319
Charles André, M. Diaz, Claude Girault, Joseph Sifakis: Survey of French Research and Applications Based on Petri Nets. 321-345
Jerre D. Noe: Nets in Modeling and Simulation. 347-368
Jerre D. Noe: Abstractions of Net Models. 369-388
Jerre D. Noe: Applications of Net-Based Models. 389-400
Robert M. Shapiro: The Application of General Net Theory - A Personal History. 401-440
Konrad Zuse: Petri-Nets from the Engineer's Viewpoint. 441-479
Horst Oberquelle: Nets as a Tool in Teaching and in Terminology Work. 481-506
Matthias Jantzen: Structured Representation of Knowledge by Petri Nets as an Aid for Teaching and Research. 507-517
Hartmann J. Genrich, E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. 519-531