Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
519
Utgivningsdatum
1987-05-01
Upplaga
1987 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Brauer, Wilfried (ed.), Reisig, Wolfgang (ed.), Rozenberg, Grzegorz (ed.)
Illustrationer
X, 519 p.
Volymtitel
Part 2 Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 Petri Nets: Applications and Relationships to Other Models of Concurrency
Dimensioner
234 x 156 x 27 mm
Vikt
735 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540179061
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 (häftad)

Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency

Häftad Engelska, 1987-05-01
709
Skickas inom 10-15 vardagar.
Fri frakt inom Sverige för privatpersoner.
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 of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
Visa hela texten

Passar bra ihop

  1. Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
  2. +
  3. Graph Transformations

De som köpt den här boken har ofta också köpt Graph Transformations av Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (häftad).

Köp båda 2 för 1968 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Innehållsförteckning

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.