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
The Science and Technology Labor Force
$109.99
Histological Typing of Cancer and Precancer of the Oral Mucosa
$54.99
Geschftsprozeoptimierung mit SAP-R/3
$69.99
Theatres of Immanence
$54.99
Genomic Elements in Health, Disease and Evolution
$169.99
RNA'Protein Interaction Protocols
$99.00
Sicherheitsstrategien in der Informationsverarbeitung
$59.99
Transformation of Knowledge and Educational Reform
$139.99
Smart Services
$179.99
Riff Raff Sails the High Cheese
$4.46
Stressoren und Ressourcen in der interkulturellen Teamarbeit
$79.99
Numerik sehen und verstehen
$37.99
Leo Strauss and the American Right
$54.99
Fetishism and Its Discontents in Post-1960 American Fiction
$39.99
Suicide Prevention
$129.00
Toward an Anthropology of Graphing
$109.99
Trade Marks and Free Trade
$84.99
Cross-Border Higher Education and Quality Assurance
$159.99
Innovation Driven Marketing
$99.00
Entstehung und Strukturwandel des Staates
$44.99
Die Reduzierbarkeit von Eisenerzen
$59.99
Inductive Logic Programming
$39.99
Splat the Cat Takes the Cake
$4.46
Extracorporeal Shock Waves in Orthopaedics
$109.99
Spoken Dialogue Technology
$54.99
Methods and Applications for Modeling and Simulation of Complex Systems
$54.99
Class, Power and Agrarian Change
$69.99
Plant Phenolics in Abiotic Stress Management
$189.00
America Imagined
$39.99
Facetten des rmischen Erbrechts
$99.99
Viruses and Human Cancer
$119.00
Essential Maple
$74.99
Jugendliche Lebenswelten nach 1945
$44.99
Astronomical Polarisation from the Infrared to Gamma Rays
$149.00
Introduction to Clinical Psychology
$22.00
Republican Politics and English Poetry, 1789-1874
$54.99
Bioactive Lipid Mediators
$169.99
Language, Nation and State
$54.99
Extra-Territorial Ethnic Politics, Discourses and Identities in Hungary
$109.99
Soziale Brgerrechte unter Druck
$49.99
