Proper-Preserv Petri Net Proc Algebra ..
Regular price
$124.61 USD
Regular price
$138.46 USD
Sale price
$124.61 USD
Unit price
per
You save $13.85 USD (10%)
In stock — Ships within 1–2 business days
Format
Print Book
Currently viewing
Hardcover
$124.61 USD
$138.46 USD
Secure CheckoutYour data is protected
Fast U.S. ShippingShips within 1–2 business days
Authentic Titles100% Genuine Books
Book Overview In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created compo...
In a component-based approach for system design, one of the challenging problems is the way to prove the correctness of the created components. Usually, the constituent components are supposed to be correct -- possessing the desirable properties and free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification, involving a tremendous amount of effort.This book presents a component -based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). PPPA includes five classes of operators, and the authors show that every operator of PPPA can preserve a large number of basic system properties. Therefore, if the initial set of primitive components satisfies some of these properties, the created components will also "automatically" satisfy them without the need for further verification -- thus greatly saving verification efforts.
Book Details Format: Hardcover | Pages: 306 | Language: English | Publisher: WORLD SCIENTIFIC PUB CO INC | ISBN: 9814324280
FormatHardcover
Pages306
LanguageEnglish
ISBN9814324280
EAN9789814324281
PublisherWORLD SCIENTIFIC PUB CO INC
Publication Date1970-01-01
Edition1
AccessoriesNo Accessory
ConditionNew
Product TypeHARD COVER BOOKS
Weight1.3 Pounds
Length9.1 Inches
Width5.9 Inches
Height1.1 Inches
Shipping & Returns Fast, reliable shipping and easy returns on eligible items.
Most orders ship within 1–2 business days with fast, reliable U.S. delivery.
Eligible items can be returned within 30 days in line with our store return policy.
Why shop with AlbakiReads
Fresh Inventory from Major Publishers
Sourced through trusted book distributors, with fresh titles added regularly.
Secure Checkout
Your payment information is encrypted and protected every step of the way.
Fast U.S. Shipping
Most orders ship within 1–2 business days.
Books for Every Kind of Reader
From page-turners to timeless classics—find your next favorite read.
