Petri nets : applications and relationships to other models of concurrency : Advances in Petri nets 1986 Part II, proceedings of an advanced course, Bad Honnef, 8. 19. September 1986
The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship o...
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
255 |
| 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: | • Advances in Petri nets 1986, Vol. 2, Petri nets : applications and relationships to other models of concurrency : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986, Advanced Course on Petri Nets, Berlin, Springer, 1987, 1 vol. (X-516 p.), Lecture notes in computer science, 3-540-17906-2 • Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Texte imprimé, 9783662212035 |
Indholdsfortegnelse:
- to Part II
- Computer tools for construction, modification and analysis of Petri nets
- Petri net tool overview 1986
- Petri nets in software engineering
- Nets in data bases
- Petri net based models in the specification and verification of protocols
- Human-machine interaction and role/function/action-nets
- Nets in production systems
- Nets in computer organization
- Nets in office automation
- Modelling architectural features with petrinets
- Trace theory
- Event structures
- CCS and its relationship to net theory
- COSY: Its relation to nets and to CSP
- TCSP: Theory of communicating sequential processes
- Reduction, data flow and control flow models of computation
- Forgotten topics of net theory.