Concurrency and Nets [electronic resource] : Advances in Petri Nets /
Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1987
|
Subjects: | Computer science., Computer communication systems., Computers., Computer Science., Computation by Abstract Devices., Computer Communication Networks., |
Online Access: | http://dx.doi.org/10.1007/978-3-642-72822-8 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:226262 |
---|---|
record_format |
koha |
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. Computers. Computer Science. Computation by Abstract Devices. Computer Communication Networks. Computer science. Computer communication systems. Computers. Computer Science. Computation by Abstract Devices. Computer Communication Networks. |
spellingShingle |
Computer science. Computer communication systems. Computers. Computer Science. Computation by Abstract Devices. Computer Communication Networks. Computer science. Computer communication systems. Computers. Computer Science. Computation by Abstract Devices. Computer Communication Networks. Voss, Klaus. editor. Genrich, Hartmann J. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
description |
Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods. |
format |
Texto |
topic_facet |
Computer science. Computer communication systems. Computers. Computer Science. Computation by Abstract Devices. Computer Communication Networks. |
author |
Voss, Klaus. editor. Genrich, Hartmann J. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_facet |
Voss, Klaus. editor. Genrich, Hartmann J. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_sort |
Voss, Klaus. editor. |
title |
Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
title_short |
Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
title_full |
Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
title_fullStr |
Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
title_full_unstemmed |
Concurrency and Nets [electronic resource] : Advances in Petri Nets / |
title_sort |
concurrency and nets [electronic resource] : advances in petri nets / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1987 |
url |
http://dx.doi.org/10.1007/978-3-642-72822-8 |
work_keys_str_mv |
AT vossklauseditor concurrencyandnetselectronicresourceadvancesinpetrinets AT genrichhartmannjeditor concurrencyandnetselectronicresourceadvancesinpetrinets AT rozenberggrzegorzeditor concurrencyandnetselectronicresourceadvancesinpetrinets AT springerlinkonlineservice concurrencyandnetselectronicresourceadvancesinpetrinets |
_version_ |
1756270960318611456 |
spelling |
KOHA-OAI-TEST:2262622018-07-31T00:07:00ZConcurrency and Nets [electronic resource] : Advances in Petri Nets / Voss, Klaus. editor. Genrich, Hartmann J. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1987.engConcurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.I: Addresses and Talks Given at the Colloquium -- Congratulatory Address -- Congratulatory Address -- Congratulatory Address -- Congratulatory Address -- Congratulatory Address -- Carl Adam Petri and Informatics -- Applying Petri Net Based Models in the Design of Systems -- II: Contributed Papers -- Some Classes of Live and Safe Petri Nets -- A Model of Cooperation and its Specification with Nets -- The Communication Disciplines of CHAOS -- On the Structure of Dependence Graphs -- Some Remarks on D-continuity -- Numerical Simulations with Place/Transactor-Nets -- Net Models of Dynamically Evolving Data Structures -- On Condition/Event Representations of Place/Transition Nets -- Finite Conjunctive Nondeterminism -- Petri Net Languages and One-Sided Dyck-Reductions on Context- Free Sets -- From Nets to Logic and back in the Specification of Processes -- Types and Modules for Net Specifications -- An Introduction to the Macro COSY Notation -- Linear Algebraic Calculation of Deadlocks and Traps -- On Different Kinds of Frozen Tokens in Petri Nets -- High Level Petri Nets and Distributed Termination -- Communication and Database Oriented Modelling of Multilateral Cooperation — A Comparison Based on Petri Nets -- The Structure of Facts in Occurrence Nets -- Observing Net Behaviour -- Algebraic Models of Parallelism and Net Theory -- Towards a Synchrony Theory for P/T Nets -- The Semantics of a Net is a Net — An Exercise in General Net Theory -- On the Mutual Simulat ability of Different Types of Petri Nets -- Development and Application of Petri Net based Techniques in Australia -- Quantitative Analysis of a Resource Allocation Problem: A Net Theory Based Proposal -- Existential Quantifiers in Predicate-Fact-Nets -- Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches -- Extension and Intension of Actions -- Interface as a Basic Concept for Systems Specification and Verification -- Specification and Verification of Asynchronous Circuits using Marked Graphs.Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.Computer science.Computer communication systems.Computers.Computer Science.Computation by Abstract Devices.Computer Communication Networks.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-72822-8URN:ISBN:9783642728228 |