.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Petri Net Algebra
Best, Eike; Devillers, Raymond; Koutny, Maciej
€ 201.85
FREE Delivery in Ireland
Description for Petri Net Algebra
Hardback. This title presents a step-by-step development of a framework for the specification and verification of concurrent systems. "Petri Net Algebra" takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 389 pages, biography. BIC Classification: PBCD; PBF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1620.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
389
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
378
Place of Publication
Berlin, Germany
ISBN
9783540673989
SKU
V9783540673989
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Petri Net Algebra
From the reviews: "The monograph presents a step-by step development of rigorous framework for the specification and verification of concurrent systems. … The book contains full proofs, carefully chosen examples and several possible directions for further research. The development of the Petri net algebra is handled in such a way that it allows for further ... Read more