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

£66.21

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

Name: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Brand: Springer
Price: 66.21 GBP
Availability: InStock

Information Management

About as cheap as it gets. The only time it was cheaper was 1 year ago.

£66 today · all-time low £65 (Jun 2025) · usually the usual

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 627 days • 627 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 627 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £66 (606 days, 96.7%)

Price range: £66 - £80

Price levels: 2 different prices over 627 days

Description

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3642074472
Category: Books > Subjects > Business, Finance & Law > Management > Information Management
Domain: Amazon UK
Release Date: 15 December 2010
Listed Since: 01 October 2010

Barcode

No barcode data available

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

About as cheap as it gets. The only time it was cheaper was 1 year ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Discrete, Continuous, and Hybrid Petri Nets

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

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

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

Springer Coloured Petri Nets Volume 1 - Computer Science Book

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

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

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

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

Application and Theory of Petri Nets and Concurrency: 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26–28, 2024, ... (Lecture Notes in Computer Science, 14628)

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)

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

Formal Methods in Computer Science (Textbooks in Mathematics)

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

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

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

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

Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Essentials in Petri Nets: Information Technology and Computers

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems: 204 (The Springer International Series in Engineering and Computer Science, 204)

Managing the Dynamics of New Product Development Processes: A New Product Lifecycle Management Paradigm

Managing the Dynamics of New Product Development Processes: A New Product Lifecycle Management Paradigm