Trouver informations, conseils et prix pour springer berlin petri netz methoden il est vendu 74.9 € , présent dans la catégorie Bücher & Zeitschriften, ce produit est fabriqué par Springer Berlin et est vendu par Orellfuessli.ch
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 Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, 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 ( PR edicate/Transition Net O riented VER ification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit höheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermöglichen.
état: new
disponibilité: in_stock
le temps de livrer: in stock
EAN: 9783540506423
Découvrir conseils, opinions et fonctionnalités sur spezifikation simulation und validierung von vendu 51,17 € , ce produit est placé dans la catégorie Systèmes d'information dans l'entreprise, fabriqué par et est vendu par Sudwestdeutscher Verlag Fur Hochschulschriften AG
Systèmes d'information dans l'entreprise, Informatique et internet dans l'entreprise, Informatique et internet, Livres, Programmation et langages, Allemand, Livres anglais et étrangers, Featured Categories, Regular Stores, c5b72a0f-f6de-4186-ad6f-d51a16c58e4f_1301, c5b72a0f-f6de-4186-ad6f-d51a16c58e4f_0, Special Features Stores, Self Service, Arborist Merchandising Root
état: New
disponibilité: En stock
EAN: 9783838137391