Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets /
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1998
|
Subjects: | Computer science., Information technology., Business, Computer communication systems., Software engineering., Computers., Complexity, Computational., Computer Science., Theory of Computation., Software Engineering., Computer Communication Networks., IT in Business., Complexity., |
Online Access: | http://dx.doi.org/10.1007/3-540-65306-6 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:209570 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2095702018-07-30T23:41:06ZLectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1998.engThe two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.Informal introduction to petri nets -- Elementary net systems -- Place/transition Petri Nets -- Principles of high-level net theory -- Petri nets in performance analysis: An introduction -- Basic linear algebraic techniques for place/transition nets -- Linear algebraic and linear programming techniques for the analysis of place/transition net systems -- Decidability and complexity of Petri net problems — An introduction -- The state explosion problem -- Theory of regions -- Petri nets and other models of concurrency -- Distributed versions of linear time temporal logic: A trace perspective.The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.Computer science.Information technology.BusinessComputer communication systems.Software engineering.Computers.Complexity, Computational.Computer Science.Theory of Computation.Software Engineering.Computer Communication Networks.IT in Business.Complexity.Springer eBookshttp://dx.doi.org/10.1007/3-540-65306-6URN:ISBN:9783540494423 |
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. Information technology. Business Computer communication systems. Software engineering. Computers. Complexity, Computational. Computer Science. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity. Computer science. Information technology. Business Computer communication systems. Software engineering. Computers. Complexity, Computational. Computer Science. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity. |
spellingShingle |
Computer science. Information technology. Business Computer communication systems. Software engineering. Computers. Complexity, Computational. Computer Science. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity. Computer science. Information technology. Business Computer communication systems. Software engineering. Computers. Complexity, Computational. Computer Science. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity. Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
description |
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems. |
format |
Texto |
topic_facet |
Computer science. Information technology. Business Computer communication systems. Software engineering. Computers. Complexity, Computational. Computer Science. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity. |
author |
Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_facet |
Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) |
author_sort |
Reisig, Wolfgang. editor. |
title |
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
title_short |
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
title_full |
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
title_fullStr |
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
title_full_unstemmed |
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / |
title_sort |
lectures on petri nets i: basic models [electronic resource] : advances in petri nets / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1998 |
url |
http://dx.doi.org/10.1007/3-540-65306-6 |
work_keys_str_mv |
AT reisigwolfgangeditor lecturesonpetrinetsibasicmodelselectronicresourceadvancesinpetrinets AT rozenberggrzegorzeditor lecturesonpetrinetsibasicmodelselectronicresourceadvancesinpetrinets AT springerlinkonlineservice lecturesonpetrinetsibasicmodelselectronicresourceadvancesinpetrinets |
_version_ |
1756268677191172096 |