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-Netz-Methoden und -Werkzeuge

Petri-Netz-Methoden und -Werkzeuge

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540506423
Condition
New
Product Description

Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollstndigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden untersttzen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit hheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermglichen.

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

Single Product Purchase

$49.99
@ Link.springer.com     BUY Now

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
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Science, Gender, and Internationalism

$159.99

Ergebnisse der Biologie

$59.99

Electrochemical Science and Technology of Polymers1

$54.99

German Annual of Spatial Research and Policy 2010

$129.00

Production Technology of Underutilized Vegetable Crops

$179.99

Traditionelle Chinesische Medizin im Fokus

$29.99

Drying and Energy Technologies

$109.99

Formal Methods in Outer Space

$44.99

Recent Developments in High-Energy Physics

$39.99

Poe, Queerness, and the End of Time

$89.00

Radiation Protection at Light Water Reactors

$139.99

Fulleranes

$109.99

Arthritis

$3.72

Which Babies Shall Live?

$39.99

Traffic Control and Transport Planning:

$219.99

Policy Analysis and Economics

$109.99

Advances in Cryptology CRYPTO 2018

$84.99

Weiterbildungsnormen der rztekammern auf dem rechtlichen Prfstand

$59.99

Frauen und Verhandlungserfolg

$17.99

Processing of Particulate Solids

$219.99

Callosal Agenesis

$84.99

Maschinelle Produktionsprozesse

$59.99

Animal Suffering

$54.99

The Economics of Catalan Separatism

$129.99

Bone Scintigraphy

$54.99

Wege aus der Partnergewalt

$69.99

Optical Tweezers

$179.99

Academic Governance in the Contemporary University

$119.99

Machine Learning and Its Applications

$39.99

Das Mikroskop und seine Anwendung

$49.99

International Crime in the 20th Century

$54.99

Zentralnervensystem

$84.99

Knowledge and Networks

$59.99

Sedimentology

$139.99

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

$39.99

Mobile Lightweight Wireless Systems

$39.99

Stichwort: Wahlen

$39.99

Wahrscheinlichkeitstheorie und Statistik

$39.99

Preismodelle deutscher Banken im Privatkundengeschft

$69.99

Luftverkehr

$39.99