Petri nets : central models and their properties : advances in Petri nets 1986 part I, proceedings of an advanced course, Bad Honnef, 8. 19. September 1986
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating syste...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | Livre numérique |
| भाषा: | Anglais |
| प्रकाशित: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| श्रृंखला: | Lecture notes in computer science
254 |
| विषय: | |
| ऑनलाइन पहुंच: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| टिप्पणी: |
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. 1, Petri nets : central models and their properties : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986, Advanced Course on Petri Nets, Berlin, Springer, 1987, 1 vol. (X-480 p.), Lecture notes in computer science, 3-540-17905-4 • Petri Nets: Central Models and Their Properties, Texte imprimé, 9783662210932 |
विषय - सूची:
- Contents: Introduction to Part I
- Prologue
- Elementary Net Systems - Fundamentals
- Place/Transition Systems - Fundamentals
- High-Level Nets - Fundamentals
- Special Topics
- Other Petri Net Models
- Addresses of the authors.