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.04 GBP
Availability: InStock

Information Management

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price

Price Analysis

Most common price: £66 (32 days, 100.0%)

Price range: £66 - £66

Price levels: 1 different prices over 32 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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer - Petri Nets: Theoretical Models and Analysis Methods

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Systems and Software Verification: Model-Checking Techniques and Tools

Discrete, Continuous, and Hybrid Petri Nets

Timed Petri Nets: Theory and Application: 9 (The International Series on Discrete Event Dynamic Systems, 9)

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

Springer - Formal Methods and Models for System Design Book

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

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

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Formal System Verification: State-of the-Art and Future Trends

Formal Methods in Manufacturing (Industrial Information Technology)

Formal Methods in Computer Science (Textbooks in Mathematics)

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

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

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

System Verification: Proving the Design Solution Satisfies the Requirements

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

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

Springer - Specification and Verification of Multi-agent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Testing and Validation of Computer Simulation Models: Principles, Methods and Applications (Simulation Foundations, Methods and Applications)