PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING - Image 1

£63.00

World Scientific Publishing Company PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

Name: PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
Brand: World Scientific Publishing Company
Price: 63.0 GBP
Availability: InStock

Functional Programming

Price data last checked 54 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£63 today · previous high £63 · all-time low £48

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 37 days • 37 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 37 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £48 (26 days, 70.3%)

Price range: £48 - £63

Price levels: 2 different prices over 37 days

Description

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.

Product Specifications

Brand: World Scientific Publishing Company
Format: hardcover
ASIN: 9814324280
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 14 May 2012
Listed Since: 28 June 2010

Barcode

No barcode data available

World Scientific Publishing Company PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies

Petri Nets in Flexible and Agile Automation: 310 (The Springer International Series in Engineering and Computer Science, 310)

Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Lectures on Petri Nets II: Applications: Advances in Petri Nets: 1492 (Lecture Notes in Computer Science, 1492)

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Supervision of Petri Nets: 13 (The International Series on Discrete Event Dynamic Systems, 13)

Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ... 1981: 52 (Informatik-Fachberichte, 52)

Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM (Asset Analytics)

Clans of Petri Nets: Verification of protocols and performance evaluation of networks

Formal Methods in Computer Science (Textbooks in Mathematics)

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Supervisory Control of Discrete Event Systems Using Petri Nets: 8 (The International Series on Discrete Event Dynamic Systems, 8)

Discrete, Continuous, and Hybrid Petri Nets

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Handbook of Process Algebra

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2 (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Petri Nets: Theoretical Models and Analysis Methods

Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach (Series in Intelligent Control and Intelligent Automation): 6

Agent-Based Business Process Simulation: A Primer with Applications and Examples

Systems Dependability Assessment: Benefits of Petri Net Models: 1 (Systems and Industrial Engineering)

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

Formal Methods in Computer Science (Textbooks in Mathematics)

Springer Coloured Petri Nets Volume 1 - Computer Science Book