Net theory and applications : proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
84 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Net theory and applications, proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979, edited by Wilfried Brauer, Berlin, Springer-Verlag, 1980, 1 vol. (XIII-537 p.), Lecture notes in computer science, 0-387-10001-6 • Net Theory and Applications, Texte imprimé, 9783540100010 • Net Theory and Applications, Texte imprimé, 9783662212721 |
Indholdsfortegnelse:
- to general net theory
- Elements of general net theory
- Formal properties of place/transition nets
- Linear algebra in net theory
- Atomicity of activities
- Concurrency
- The relative strength of K-density
- Reductions of nets and parallel programs
- Adequacy of path programs
- Performance evaluation of systems using nets
- Survey of French research and applications based on Petri nets
- Nets in modeling and simulation
- Abstractions of net models
- Applications of net-based models
- The application of general net theory A personal history
- Petri-nets from the engineer's viewpoint lecture I
- Nets as a tool in teaching and in terminology work
- Structured representation of knowledge by Petri nets as an aid for teaching and research
- A dictionary of some basic notions of net theory
- Addresses of all authors.