Copied Petri-Netz-Methoden und -Werkzeuge
Petri-Netz-Methoden und -Werkzeuge
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.
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
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
