Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Petri Net Algebra

Name: Petri Net Algebra
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567356
Price: 65695 HUF
Availability: InStock
Author: Eike Best
ISBN: 9783540673989

Eike Best

Raymond Devillers

Maciej Koutny

Language

English

Book Hardback

Libristo code: 01567356

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2001

This book presents a step-by-step development of a rigorous framework for the specification and veri... Full description

Libristo code: 01567356

436 b

65 695 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Las Gemelas de Auschwitz / The Twins of Auschwitz. the Inspiring True Story of a Young Girl Surviving Mengele's Hell Mozes Kor

Paperback

6 622 Ft

EDITO A1 ELEVE 2022

Book

9 380 Ft

DJ PACO - HORS-SERIE MAGALI LE HUCHE

Hardback

9 091 Ft

via dello sciamano verso la libertà. Un libro di saggezza tolteca José Ruiz

Paperback

5 568 Ft

Natorp Paul 1882 Descartes' Erkenntnistheorie Paul Natorp

Paperback

4 652 Ft

LESEMAUS 167: Unsere Körper - Von Kopf bis Fuß Catharina Westphal

Paperback

2 122 Ft

Flora Hiroshi Yoshimura

Audio CD

13 534 Ft

Götter der Sterne Lars A. Fischinger

Paperback

6 774 Ft

cedula de identidad ciudadana en Mexico Eber Omar Betanzos Torres

Paperback

15 941 Ft

Komparatistik in Lateinamerika Beatrice Strohschneider

Paperback

15 808 Ft

American Photographs, Jubiläumsausgabe Walker Evans

Hardback

22 459 Ft

Lesen(d) lernen - Texte besser verstehen Marion Bönnighausen

Paperback

6 143 Ft

Methodik zur Gestaltung und Bewertung von modularen Werkzeugen Wolfgang Boos

Paperback

13 790 Ft

200 motifs à tricoter Rangel

Paperback

10 358 Ft

Luftkrieg von Aschaffenburg bis Zwiesel, 3 Teile Harald G. Dill

Hardback

17 987 Ft

Strany Severnoy Afriki Sapronova Marina

Paperback

14 602 Ft

Treibeis Captain Planet

Audio CD

5 421 Ft

Matematické minutovky 7. ročník / 1. díl Miroslav Hricz

Paperback

949 Ft

Ligeros libertinajes sabáticos Mercedes Abad

Paperback

4 049 Ft

Povídky 2 Ladislav Grosman

Hardback

4 154 Ft

Geometri Mustafa Kemal Atatürk

Paperback

4 035 Ft

Hayir Diyen Felsefe Gaston Bachelard

Paperback

5 991 Ft

This book presents a step-by-step development of a rigorous 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. Added synergistic benefit is derived from combining their respective advantages.Petri nets are treated as composable objects, and as such they are embedded in a general process algebra. On the other hand, a generic process algebra is given an automatic Petri net semantics so that net-based verification techniques, based on structural invariants and causal partial orders, can be applied to the process algebra.The book contains full proofs, carefully chosen examples and several possible directions for further research. A unique aspect is that the development of the Petri net algebra is handled so as to allow for further application-oriented extensions and modifications.