Advanced Course: Net Theory and Applications 1975

@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
  

Last update Mon May 21 02:19:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page