Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets /

Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets /

Show other versions (1)

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.

Saved in:
Bibliographic Details
Main Authors: Reisig, Wolfgang. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
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

Similar Items