Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /

Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /

Show other versions (1)

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.

Saved in:
Bibliographic Details
Main Authors: Brauer, W. editor., Reisig, W. editor., Rozenberg, G. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
Subjects:Computer science., Computer communication systems., Computer Science., Computer Communication Networks.,
Online Access:http://dx.doi.org/10.1007/3-540-17906-2
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:210167
record_format koha
spelling KOHA-OAI-TEST:2101672018-07-30T23:42:08ZPetri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 / Brauer, W. editor. Reisig, W. editor. Rozenberg, G. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1987.engThe 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.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.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.Computer science.Computer communication systems.Computer Science.Computer Communication Networks.Springer eBookshttp://dx.doi.org/10.1007/3-540-17906-2URN:ISBN:9783540479260
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computer communication systems.
Computer Science.
Computer Communication Networks.
Computer science.
Computer communication systems.
Computer Science.
Computer Communication Networks.
spellingShingle Computer science.
Computer communication systems.
Computer Science.
Computer Communication Networks.
Computer science.
Computer communication systems.
Computer Science.
Computer Communication Networks.
Brauer, W. editor.
Reisig, W. editor.
Rozenberg, G. editor.
SpringerLink (Online service)
Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
description 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.
format Texto
topic_facet Computer science.
Computer communication systems.
Computer Science.
Computer Communication Networks.
author Brauer, W. editor.
Reisig, W. editor.
Rozenberg, G. editor.
SpringerLink (Online service)
author_facet Brauer, W. editor.
Reisig, W. editor.
Rozenberg, G. editor.
SpringerLink (Online service)
author_sort Brauer, W. editor.
title Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
title_short Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
title_full Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
title_fullStr Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
title_full_unstemmed Petri Nets: Applications and Relationships to Other Models of Concurrency [electronic resource] : Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986 /
title_sort petri nets: applications and relationships to other models of concurrency [electronic resource] : advances in petri nets 1986, part ii proceedings of an advanced course bad honnef, 8.–19. september 1986 /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1987
url http://dx.doi.org/10.1007/3-540-17906-2
work_keys_str_mv AT brauerweditor petrinetsapplicationsandrelationshipstoothermodelsofconcurrencyelectronicresourceadvancesinpetrinets1986partiiproceedingsofanadvancedcoursebadhonnef819september1986
AT reisigweditor petrinetsapplicationsandrelationshipstoothermodelsofconcurrencyelectronicresourceadvancesinpetrinets1986partiiproceedingsofanadvancedcoursebadhonnef819september1986
AT rozenberggeditor petrinetsapplicationsandrelationshipstoothermodelsofconcurrencyelectronicresourceadvancesinpetrinets1986partiiproceedingsofanadvancedcoursebadhonnef819september1986
AT springerlinkonlineservice petrinetsapplicationsandrelationshipstoothermodelsofconcurrencyelectronicresourceadvancesinpetrinets1986partiiproceedingsofanadvancedcoursebadhonnef819september1986
_version_ 1756268758846930944

Similar Items