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
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
Property-Preserving Petri Net Process Algebra in Software Engineering
Language: en
Pages: 319
Authors: Hejiao Huang
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: World Scientific

DOWNLOAD EBOOK

Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Lectures on Concurrency and Petri Nets
Language: en
Pages: 857
Authors: Jörg Desel
Categories: Mathematics
Type: BOOK - Published: 2004-07-09 - Publisher: Springer

DOWNLOAD EBOOK

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichsttt, Germany in September 2003. In addition to lectures give