Lectures on Petri Nets I: Basic Models

Lectures on Petri Nets I: Basic Models
Author :
Publisher : Springer Science & Business Media
Total Pages : 714
Release :
ISBN-10 : 3540653066
ISBN-13 : 9783540653066
Rating : 4/5 (066 Downloads)

Book Synopsis Lectures on Petri Nets I: Basic Models by : Wolfgang Reisig

Download or read book Lectures on Petri Nets I: Basic Models written by Wolfgang Reisig and published by Springer Science & Business Media. This book was released on 1998-11-04 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Lectures on Petri Nets I: Basic Models Related Books

Lectures on Petri Nets I: Basic Models
Language: en
Pages: 714
Authors: Wolfgang Reisig
Categories: Computers
Type: BOOK - Published: 1998-11-04 - Publisher: Springer Science & Business Media

GET EBOOK

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 ch
Process Algebras for Petri Nets
Language: en
Pages: 307
Authors: Roberto Gorrieri
Categories: Computers
Type: BOOK - Published: 2017-04-13 - Publisher: Springer

GET EBOOK

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for
Unifying Petri Nets
Language: en
Pages: 495
Authors: Hartmut Ehrig
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

GET EBOOK

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either b
Petri Nets for Systems Engineering
Language: en
Pages: 602
Authors: Claude Girault
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

GET EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It