Petri Net Algebra

Petri Net Algebra
Author :
Publisher : Springer
Total Pages : 378
Release :
ISBN-10 : 3662044587
ISBN-13 : 9783662044582
Rating : 4/5 (87 Downloads)

Book Synopsis Petri Net Algebra by : Eike Best

Download or read book Petri Net Algebra written by Eike Best and published by Springer. This book was released on 2014-03-12 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be haviour.


Petri Net Algebra Related Books

Petri Net Algebra
Language: en
Pages: 378
Authors: Eike Best
Categories: Mathematics
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people
Petri Net Algebra
Language: en
Pages: 389
Authors: Eike Best
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people
Process Algebras for Petri Nets
Language: en
Pages: 307
Authors: Roberto Gorrieri
Categories: Computers
Type: BOOK - Published: 2017-04-13 - Publisher: Springer

DOWNLOAD 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
Petri Net Theory and the Modeling of Systems
Language: en
Pages: 304
Authors: James L Peterson
Categories:
Type: BOOK - Published: 2019-08-09 - Publisher:

DOWNLOAD EBOOK

Petri nets were conceived in 1962 as a model of parallel systems, and have been applied to a wide range of problems. This volume presents both the basic model a
Petri Net Synthesis
Language: en
Pages: 340
Authors: Eric Badouel
Categories: Computers
Type: BOOK - Published: 2015-11-02 - Publisher: Springer

DOWNLOAD EBOOK

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algori