


default search action
Advanced Course: Net Theory and Applications 1979
- Wilfried Brauer:

Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, October 8-19, 1979. Lecture Notes in Computer Science 84, Springer 1980, ISBN 3-540-10001-6 - 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














