La Milano

Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems, ...

Description: Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems, Hardcover by Liu, Guanjun, ISBN 9811963088, ISBN-13 9789811963087, Brand New, Free shipping in the US 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 (., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (., 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. Th 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.

Price: 217.68 USD

Location: Jessup, Maryland

End Time: 2024-12-29T16:01:45.000Z

Shipping Cost: 0 USD

Product Images

Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems, ...

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Petri Nets : Theoretical Models and Analysis Methods for Concurre

Number of Pages: Xi, 279 Pages

Publication Name: Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems

Language: English

Publisher: Springer

Publication Year: 2022

Subject: Software Development & Engineering / General, Computer Science, Discrete Mathematics

Item Weight: 21.4 Oz

Type: Textbook

Subject Area: Mathematics, Computers

Item Length: 9.3 in

Author: Guanjun Liu

Item Width: 6.1 in

Format: Hardcover

Recommended

Hardware Design And Petri Nets
Hardware Design And Petri Nets

$159.35

View Details
Stochastic Petri Nets for Wireless Networks - 9783319168821
Stochastic Petri Nets for Wireless Networks - 9783319168821

$49.14

View Details
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studi...
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studi...

$57.68

View Details
Understanding Petri Nets - 9783662523070
Understanding Petri Nets - 9783662523070

$47.21

View Details
Brauer - Petri Nets  Central Models and Their Properties   Advances i - S9000z
Brauer - Petri Nets Central Models and Their Properties Advances i - S9000z

$76.78

View Details
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, R
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, R

$76.03

View Details
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Pa
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Pa

$67.23

View Details
Petri Nets in Flexible and Agile Automation by MengChu Zhou (English) Paperback
Petri Nets in Flexible and Agile Automation by MengChu Zhou (English) Paperback

$242.16

View Details
Transactions on Petri Nets and Other Models of Concurrency IV by Kurt Jensen (En
Transactions on Petri Nets and Other Models of Concurrency IV by Kurt Jensen (En

$67.91

View Details
Petri Net Theory and the Modeling of Systems JAMES L PETERSON
Petri Net Theory and the Modeling of Systems JAMES L PETERSON

$39.95

View Details