Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Petri Nets

Petri Nets

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9789811963087
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $149.00 - $149.00
BEST PRICE

Single Product Purchase

$149.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$149.00 $149.00

$149.00
See Site In stock Visit Store

Similar Products

Principles and Practice of Constraint Programming

$54.99

Gender Mainstreaming - Gleichstellungsmanagement als Erfolgsfaktor - das Praxisbuch

$79.99

Working in Digital and Smart Organizations

$149.00

Pro ASP.NET MVC 5

$69.99

Algebraic and Geometric Methods in Nonlinear Control Theory

$109.99

Zivilprozessrecht

$49.99

RNAi and Regulatory RNAs in Stem Cells

$99.00

Navigating Numeracies

$39.99

Bayesian Spectrum Analysis and Parameter Estimation

$109.99

Henry and Mudge: Henry and Mudge Take the Big Test

$3.71

Development Perspectives

$54.99

Universal Semantic Communication

$109.99

The Future of Pricing

$54.99

Re/Structuring Science Education

$169.99

Feedback Linearization of Dynamical Systems with Modulated States for Harnessing Water Wave Power

$19.99

Renewable Energies and European Landscapes

$109.99

Handbook of Turbulence

$84.99

Lehrgang der Hrtetechnik

$84.99

Implicit preconditioned numerical schemes for the simulation of three-dimensional barotropic flows

$24.95

Feedback Control of MEMS to Atoms

$169.99

Die Neuen Chefs

$39.99

Caledonian Structures in Britain

$169.00

Drug Delivery Systems

$89.00

Human Exploitation and Biodiversity Conservation

$219.99

Methods in Medicine

$39.99

American Jewish Year Book 2016

$149.00

Mechanism and Theory in Food Chemistry

$169.99

American Foreign Policy in the English-speaking Caribbean

$54.99

The Heart Forger (Bone Witch Series #2) by Rin Chupeco

$12.99

Das Handlungsunrecht der Steuerhinterziehung

$69.99

HCI in Business, Government and Organizations

$89.99

Jewish Communities of the World

$44.99

Media and the Inner World: Psycho-cultural Approaches to Emotion, Media and Popular Culture

$39.99

Harriet Tubman: Secret Agent

$4.49

Seamless Learning

$139.00

Female Urology

$219.99

cDNA Library Protocols

$129.00

Astrochemistry of Cosmic Phenomena

$54.99

Cities and City Planning

$54.99

Managing the World Economy

$109.99