Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Petri Nets

Name: Petri Nets
Brand: Springer, Berlin
SKU: 41362486
Price: 964.75 RON
Availability: InStock
Author: Guanjun Liu
ISBN: 9789811963087

Theoretical Models and Analysis Methods for Concurrent Systems

Guanjun Liu

Limba

engleză

Carte Copertă tare

Codul Libristo: 41362486

Editura Springer, Berlin, noiembrie 2021

This book provides essential information on Petri net theory and Petri net-based model checking meth... Descrierea completă

Codul Libristo: 41362486

446 b

964.75 lei

În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

120 jeux Mots croisés collegium

Carte broșată

43.20 lei

Holocaustes - Israël, Gaza et la guerre contre l'Occident Gilles Kepel

Carte broșată

132.12 lei

(port).teatrinho da quinta.(livro pop-up) FLORENCIA CAFFERATA

Copertă tare

58.36 lei

Security Analysis BENJAMIN GRAHAM

Carte broșată

239.62 lei

Wirtschaftsrussisch-Woerterbuch, Band I, Deutsch-Russisch Liane Fijas

Copertă tare

945.74 lei

Das Bild Ernst Houwald

Copertă tare

656.46 lei

Guide pratique des arts martiaux d'Europe, la voie des mousquetaires Oset

Carte broșată

162.44 lei

Marek a jeho písničky

Audio CD

63.35 lei

Ueber Die Politik Des Marcus Agrippa; Sollemnia Academica OB Feliciter Redeuntem; Nachricht Von Dem Konigl. Joachimsthalschen Gymnasium (1885) Peter Schreiner Frandsen

Carte broșată

142.50 lei

# Hashtag-Marketing Sebastian Merz

Carte broșată

67.51 lei

Das Formular der paulinischen Briefe Otto Roller

Carte broșată

197.66 lei

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.