0
Your cart

Your cart is empty

Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction

Buy Now

Petri-Netz-Methoden und -Werkzeuge (German, Paperback) Loot Price: R1,728
Discovery Miles 17 280
Petri-Netz-Methoden und -Werkzeuge (German, Paperback): Marek Leszak, Horst Eggert

Petri-Netz-Methoden und -Werkzeuge (German, Paperback)

Marek Leszak, Horst Eggert

Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, 197

 (sign in to rate)
Loot Price R1,728 Discovery Miles 17 280 | Repayment Terms: R162 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 Vollstandigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstutzen, 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 hoheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermoglichen.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, 197
Release date: December 1988
First published: 1989
Authors: Marek Leszak • Horst Eggert
Dimensions: 244 x 170 x 14mm (L x W x T)
Format: Paperback
Pages: 266
ISBN-13: 978-3-540-50642-3
Languages: German
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
Promotions
LSN: 3-540-50642-X
Barcode: 9783540506423

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The Hitchhiker's Guide To AI - A…
Arthur Goldstuck Paperback R565 Discovery Miles 5 650
Usability Engineering - Process…
Laura Leventhal, Julie Barnes Paperback R4,910 Discovery Miles 49 100
Designing User Experience - A guide to…
David Benyon Paperback R2,315 Discovery Miles 23 150
The API-First Transformation
Kin Lane Hardcover R1,471 Discovery Miles 14 710
Next-Generation Applications and…
Filipe Portela, Ricardo Queiros Hardcover R7,586 Discovery Miles 75 860
Weaving Fire into Form - Aspirations for…
Brygg Ullmer, Orit Shaer, … Hardcover R3,593 Discovery Miles 35 930
Age Of Agency - Rise With A.I.
Kerushan Govender Paperback R350 R296 Discovery Miles 2 960
Software Usability
Laura M. Castro, David Cabrero, … Hardcover R3,511 Discovery Miles 35 110
Interactive Reports in SAS(R) Visual…
Nicole Ball Hardcover R1,854 Discovery Miles 18 540
CICS Basic Training for Application…
Robert Wingate Hardcover R1,042 R892 Discovery Miles 8 920
Advancements in Instrumentation and…
Srijan Bhattacharya Hardcover R7,003 Discovery Miles 70 030
I Am Code
Brent Katz, Josh Morgenthau, … Paperback R390 R330 Discovery Miles 3 300

See more

Partners