Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Petri Nets

Name: Petri Nets
Brand: Springer, Berlin
SKU: 44312424
Price: 175.12 EUR
Availability: InStock
Author: Guanjun Liu
ISBN: 9789811963117

Theoretical Models and Analysis Methods for Concurrent Systems

Guanjun Liu

Език

Английски език

Книга С меки корици

Код Либристо: 44312424

Издателство Springer, Berlin, ноември 2023

This book provides essential information on Petri net theory and Petri net-based model checking meth... Цялото описание

Код Либристо: 44312424

423 b

175.12 €

342.50 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Modern Control Systems, Global Edition Richard Dorf

С меки корици

127.21 € 248.79 лв

Phased Array Antenna Handbook Robert Mailloux

С твърди корици

151.34 € 296.00 лв

Modern Signal Processing Xianda Zhang

С меки корици

77.59 € 151.74 лв

Feedback Control of Dynamic Systems, Global Edition Gene F. Franklin

С меки корици

127.21 € 248.79 лв

Deep Neural Network Design for Radar Applications Sevgi Zubeyde Gurbuz

С твърди корици

133.84 € 261.76 лв

Digital and Statistical Signal Processing Anastasia Veloni

С меки корици

73.23 € 143.23 лв

Introduction to Algorithms, fourth edition Thomas H. Cormen

С твърди корици

148.55 € 290.53 лв

Handbook of Microwave and Radar Engineering Anatoly Belous

С меки корици

240.74 € 470.85 лв

Electromagnetism for Engineers Flewitt

С твърди корици

70.75 € 138.37 лв

Instrument Engineers' Handbook, Volume Two Liptak

С твърди корици

334.08 € 653.41 лв

Principles of Modern Radar: Basic Principles William Melvin

С твърди корици

129.54 € 253.35 лв

ALCOL Díaz Balado

С меки корици

22.58 € 44.16 лв

Mrtvola v komíně Alan Bradley

С твърди корици

11.75 € 22.99 лв

Orderflow & Volume Profile Wolfgang Pichler

С меки корици

44.69 € 87.42 лв

libro pop-up dello spazio Sylvie Baussier

Дипляна

39.52 € 77.29 лв

Pan Guův mystický qigong Wenwei OU

С меки корици

6.83 € 13.36 лв

"Implantologia guiada por CBCT: O caminho para o sucesso" Saltanat Khan

С меки корици

85.10 € 166.43 лв

YOUR NAME. (INTEGRAL) SHINKAI

С меки корици

50.39 € 98.56 лв

Menschen A2/1 Anna Breitsameter

С меки корици

11.23 € 21.97 лв

Já Karlis Verdinš

Книга

8.70 € 17.01 лв

Wzgórze psów. Wydanie filmowe Jakub Żulczyk

С меки корици

9.42 € 18.43 лв

Carnet PB Le Hanfu a l'Honneur Saule Bleu Midi LIG. 144pg.

Тефтер

21.02 € 41.12 лв

JOVI KYBLÍK - 24 ks vykrajovátka

Играчка

9.58 € 18.73 лв

Rád hangolva A.L. Jackson

С меки корици

12.94 € 25.32 лв

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.