Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Petri Nets for Systems Engineering

Petri Nets for Systems Engineering

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540412175
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$72.00
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$79.99 $79.99

10% OFF
This deals requires coupon Get Code Here
$72.00
See Site In stock Visit Store

Similar Products

The Archaeology of Market Capitalism

$84.99

Linear Functional Equations. Operator Approach

$39.99

Privatwirkung der Grundrechte in den USA

$69.95

Geo-disaster Modeling and Analysis: An SPH-based Approach

$129.00

Radioforschung

$69.99

Political Economy Perspectives on the Greek Crisis

$179.99

Die Entwicklung der menschlichen Grohirnhemisphre

$59.99

Shallow Learning vs. Deep Learning

$129.99

Backarc Basins

$169.00

Neural Stem Cells in Development, Adulthood and Disease

$109.99

Automatisierte Verhandlungen in Multi-Agenten-Systemen

$69.99

Mobile Applikationen 2

$89.99

Micromechanics and Nanoscale Effects

$109.99

Math Skills: Grade 6 (Flash Kids Harcourt Family Learning) by Flash Kids Editors

$9.99

Global Communication and Transnational Public Spheres

$54.99

Jews and the Christian Imagination

$54.99

Rume des Konsums

$49.99

The Isle of the Lost Paperback Book Box Set Official shopDisney

$38.99

EEG-basierte Erfassung von Aufmerksamkeitsprofilen

$59.99

Effiziente Forschung und Entwicklung

$59.99

Advances in Cryptology - ASIACRYPT 2003

$54.99

Vorlesungen ber Geschichte der antiken mathematischen Wissenschaften

$44.99

Duck On a Tractor

$5.21

The Fractal Geometry of the Brain

$189.00

Semigroups of Operators: Theory and Applications

$109.99

Geochemistry of Epigenesis

$39.99

Ethylene

$129.00

Direktinvestitionen im Ausland

$59.99

Information Technology and Systems

$199.99

The Politics of Low-Carbon Innovation

$39.99

The Flavonoids

$54.99

Events und Erlebnis

$59.99

ENT Board Prep

$59.99

Higher Education in the American West, 1818 to the Present

$109.99

Distributed Fault-Tolerant Consensus Control of Leader-Following Systems

$109.00

Vortex Processes and Solid Body Dynamics

$169.00

Carlo Cattaneo and the Politics of the Risorgimento, 18201860

$129.99

Sozialwirtschaft nachhaltig managen

$19.99

Reform in CEE-Countries with Regard to European Enlargement

$109.99

Cultures of Comics Work

$109.00