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 Nets / Fundamental Models, Verification and Applications

Name: Petri Nets / Fundamental Models, Verification and Applications
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103541
Price: 139560 HUF
Availability: InStock
Author: Michel Diaz
ISBN: 9781848210790

Michel Diaz

Language

English

Book Hardback

Libristo code: 05103541

Publishers ISTE Ltd and John Wiley & Sons Inc, July 2009

A Petri net is a mathematical representation of a network. This book first introduces the basic mode... Full description

Libristo code: 05103541

932 b

139 560 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Loupežník Zuřivous Otfried Preussler

Hardback

3 056 Ft

Descenso al Abismo Verónica Monroy

Paperback

5 602 Ft

La première campagne d'Italie - 2 avril 1796-10 décembre 1797, la naissance d'un Aigle Bouan

Paperback

12 839 Ft

HEILLY, SON HISTOIRE ET SON CHÂTEAU Jumel

Paperback

6 561 Ft

Normale Menschen Zoë Beck

Paperback

5 031 Ft

Electrons et microscopes : vers les nanosciences Peter Hawkes

Paperback

10 529 Ft

Storočie piruet Stano Ščepán

Hardback

2 787 Ft

Czynniki wp?ywaj?ce na zagro?enia biologiczne Edo MUTEBWA ECIBA

Paperback

14 138 Ft

GER-UNTERSUCHUNGEN AM VERDAUUN J. Eberli

Hardback

12 853 Ft

Hablar en clase : cómo trabajar la lengua oral en el centro escolar Catalina . . . [et al. ] Barragán Vicaria

Paperback

7 548 Ft

Refugees Welcome Herold Zu Moschdehner

Paperback

4 898 Ft

Biographie und Psychologie Gerd Jüttemann

Paperback

26 570 Ft

miniLÜK-Set

Game

10 094 Ft

Percy Jackson 1 + 2, 2 DVDs Thor Freudenthal

DVD

6 051 Ft

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time, and stochastic aspects by using the same formal approach and semantic basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programming languages, multimedia architectures, manufacturing systems, and communication protocols.