Die Analyse betrifft u.a. die Erreichbarkeit erwünschter Systemzustände und der Nachweis, dass unsichere Zustände unerreichbar bleiben.
Petri-Netze sind besonders für die Beschreibung kooperierender und konkurrierender Prozesse und, dank ihrer graphischen Repräsentation, auch für die Kommunikation mit dem Auftraggeber geeignet.
WinPetri
www11.informatik.uni-erlangen.deThe analysis concerns among others the reachability of desired system states and the proof that unsafe states remain unreachable.
Petri Nets are particularly appropriate for the description of cooperating and concurrent processes and, thanks to the graphical representation, also support the communication between customer and developer.
WinPetri
www11.informatik.uni-erlangen.deWinPetri
Zeitbehaftete Petri-Netze Die Ausdruckskraft gewöhnlicher Petri-Netze lässt sich unter Einbeziehung des Aspektes "Zeit" mittels sogenannter zeitbehafteter Petri-Netze (Time Petri Nets) erweitern.
www11.informatik.uni-erlangen.deWinPetri
Time Petri Nets The expressiveness of ordinary Petri Nets can be augmented by introducing time by means of so-called Time Petri Nets.
www11.informatik.uni-erlangen.deRational Requisite Pro
Petri-Netze Mit Hilfe von Petri-Netzen erstellen wir während der Anforderungsphase ein Modell des vom Auftraggeber angestrebten Systems.
Anhand dieses Modells analysieren und validieren wir die anwendungsspezifischen Anforderungen.
www11.informatik.uni-erlangen.deTools Tools used at the Chair of Sortware Engineering
Petri Nets During the requirements phase the system envisaged is modelled, e. g. by means of Petri Nets.
On the basis of this model application-specific requirements have to be analysed and validated.
www11.informatik.uni-erlangen.deDa li Vam nedostaje određeni izraz ili prevod?
Poziv za kompajliranje OD unosa