Formal Methods in Manufacturing (Industrial Information Technology) - Image 1

£98.30

CRC Press Formal Methods in Manufacturing (Industrial Information Technology)

Name: Formal Methods in Manufacturing (Industrial Information Technology)
Brand: CRC Press
Price: 98.3 GBP
Availability: InStock

303 black & white illustrations, 63 blac

Technical

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£98 today · all-time low £95 (Feb 2026) · usually £98

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

Historical

Generating forecast...

Price Distribution

Price distribution over 68 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £98 (36 days, 52.9%)

Price range: £95 - £101

Price levels: 4 different prices over 68 days

Description

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

Product Specifications

Brand: CRC Press
Model: 303 black & white illustrations, 63 blac
Format: hardcover
ASIN: 1466561556
Category: Books > Subjects > Reference > Writing > Technical
Domain: Amazon UK
Release Date: 25 February 2014
Listed Since: 10 April 2012

Barcode

No barcode data available

CRC Press Formal Methods in Manufacturing (Industrial Information Technology)

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods in Manufacturing (Industrial Information Technology)

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

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

Springer Petri Net Synthesis for Discrete Event Control

System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)

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

Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering)

Ingeniería de la Automatización Industrial. 2ª Edición ampliada y actualizada.

Process Plant Operating Procedures: Synthesis, Simulation and Abnormal Situation Management (Advances in Industrial Control)

Process Plant Operating Procedures: Synthesis, Simulation and Abnormal Situation Management (Advances in Industrial Control)

Formal Methods for Industrial Critical Systems: A Survey of Applications

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

Formal Methods in Computer Science (Textbooks in Mathematics)

Optimal Supervisory Control of Automated Manufacturing Systems

Fundamentals of Manufacturing

Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective (IEEE Press Series on Systems Science and Engineering)

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

Introduction to Manufacturing Processes

Foundations & Principles of Distributed Manufacturing: Elements of Manufacturing Networks, Cyber-Physical Production Systems and Smart Automation (Springer Series in Advanced Manufacturing)

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

Computational Methods for Optimizing Manufacturing Technology: Models and Techniques (Advances in Mechatronics and Mechanical Engineering)

Introduction to Manufacturing: An Industrial Engineering and Management Perspective

Analysis of Manufacturing Enterprises: An Approach to Leveraging Value Delivery Processes for Competitive Advantage: 12 (The International Series on Discrete Event Dynamic Systems, 12)

Analysis of Manufacturing Enterprises: An Approach to Leveraging Value Delivery Processes for Competitive Advantage: 12 (The International Series on Discrete Event Dynamic Systems, 12)