QR-Code

Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-) Verifikationsmethode zur Modellierungsunterstütztung bei der Entwicklung von Informationssystemen /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Scheschonk, Gert
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Berlin : Technická univerzita, 1984
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Überlegungen zur Informationsbedarfsanalysis bei der Entwicklung von Informationssystemen /
von: Meindl, Ulrich
Veröffentlicht: (1972)

Konstruktion, Analyse und graphische Darstellung von interpenetrierenden Netzen in Translationsgittern /
von: Zürn, Anke
Veröffentlicht: (1998)

Analyse-Synthese-Codierung basierend auf dem Modell bewegter dreidimensionaler, gegliederter Objekte /
von: Martínez-Castillo, Geovanni
Veröffentlicht: (1998)

Analyse und Prognose von Zeitreihen mit Neuronalen Netzen /
von: Thiesing, Frank M.
Veröffentlicht: (1998)

Analyse der Raumgestaltung in der Architektur und darauf basierende Untersuchung einer Wohnanlage in Korea /
von: Kim, Jongin
Veröffentlicht: (1994)

PETRI NETS /
von: Reisig, Wolfgang
Veröffentlicht: (1985)

Zur Typologie von Daten und Informationssystemen /
von: Beling, Gerd, et al.
Veröffentlicht: (1973)

Analyse unvollständig bekannter Regelungssysteme. Teil 2 /
von: Lunze, Jan
Veröffentlicht: (1981)

Analyse unvollständig bekannter Regelungssysteme. Teil 1 /
von: Lunze, Jan
Veröffentlicht: (1981)

KONSTRUKTION. BAND 5. KONSTRUKTIONSMETHODIK. TEIL 2. INFORMATION, CAD /
von: Haug, Albert
Veröffentlicht: (1981)

VERKEHRSWEGEWAHLMODELLE FÜR VERKEHRSBERUHIGUNGSMASSNAHMEN IN KLEINRÄUMIGEN NETZEN /
von: Mörner, Jorg Von
Veröffentlicht: (1986)

ADVANCES IN PETRI NETS. 1987 /
von: Girault, C.
Veröffentlicht: (1987)

PETRI-NETZE IN DER STEUERUNGSTECHNIK /
von: König, Rainer
Veröffentlicht: (1988)

ADVANCES IN PETRI NETS. 1985 /
von: Baumgarten, B.
Veröffentlicht: (1986)

Algebraically generalised Petri nets /
von: Juhás, Gabriel
Veröffentlicht: (1998)

Systemanalyse als Hilfsmittel für den Entwurf von Informationssystemen /
Veröffentlicht: (1973)

Erfolgreiche Anwendung wissensbasierter Systeme in Entwicklung und Konstruktion : Tagung, Heidelberg, 7. und 8. Okt. 1991 /
von: Grabowski, H.
Veröffentlicht: (1991)

KONSTRUKTION. BAND 4. FÜHRUNG IM KONSTRUKTIONSPROZESS. TEIL 1. ARBEITSMITTEL /
von: Hubka, Vladimir
Veröffentlicht: (1979)

METHODISCHE ASPEKTE DER PROJEKTIERUNG UND BEWERTUNG DER EFFEKTIVITÄT VON INFORMATIONSSYSTEMEN IM BERGBAU BEI NUTZUNG VON DATENBANKEN /
von: Lorenz, Waldemar
Veröffentlicht: (1985)

Repräsentation temporaler Information in künstlichen neuronalen Netzen /
von: Eder, Klaus
Veröffentlicht: (1996)

Mehrventil-Motoren. Entwicklung, Technik, Typen /
von: Hack, Gert
Veröffentlicht: (1995)

A STRUCTURING MECHANISM FOR PETRI NETS /
von: Kiehn, Astrid
Veröffentlicht: (1989)

Petri net theory and the modeling of systems /
von: Peterson, James Lyle
Veröffentlicht: (1981)

A primer in Petri net design /
von: Reisig, Wolfgang
Veröffentlicht: (1992)

Rechnergestützte Kontrolle und Analyse im Betrieb und Kombinat. Teil 1. Teil 2 /
von: Fischer, Peter 1939-
Veröffentlicht: (1989)

BEWEGUNGS-ANALYSE BEI DER CODIERUNG VON BILDSEQUENZEN /
von: Gerhard, Alexander
Veröffentlicht: (1988)

Entwicklung einer Methode zur Bewertung von Ortsdurchfahrten im Hinblick auf die Notwendigkeit des Baues von Umgehungsstrassen. Teil 1. Problemanalyse. Teil 2. Entwicklung des Bewertungsverfahrens. Teil 3. Durchrechnung eines Fallbeispiels /
von: Steierwald, G.
Veröffentlicht: (1986)

ENTWICKLUNG EINES QUARZVISKOSIMETERS FÜR MESSUNGEN BEI HOHEN DRÜCKEN /
von: Bode, Berthold
Veröffentlicht: (1984)

WÄRMEÜBERGANG IN KRÜMMERN BEI SPRÜHKÜHLUNG /
von: Lautenschlager, Gert
Veröffentlicht: (1988)

DIE ANWENDUNG DER POLYOPTIMIERUNG BEI DER RECHNERGESTÜTZEN KONSTRUKTION TEXTILER ERZEUGNISSE /
von: Hollstein, Heinz
Veröffentlicht: (1983)

Ein Verfahren zur numerischen Simulation kompressibler, reibungsbehafteter Strömungen auf hybriden Netzen /
von: Galle, Martin
Veröffentlicht: (1999)

Fehlerdiagnose in elektrischen Energieübertragungssystemen mit betriebsmittelbezogenen neuronalen Netzen /
von: Kuhlmann, Dietmar
Veröffentlicht: (1998)

Decomposition and protocols in high-level Petri nets /
von: Rambags, Paul Michel Peter
Veröffentlicht: (1994)

TEORIJA SETEJ PETRI I MODELIROVANIJE SISTEM /
von: Peterson, James Lyle
Veröffentlicht: (1984)

Reachability analysis of systems based on Petri Nets /
von: Hudák, Štefan
Veröffentlicht: (1999)

Analyse der Dopplerechos von Kraftfahrzeugen bei 35 GHz /
von: Westphal, Robert
Veröffentlicht: (1986)

Analyse und Klassifikation fouriertransformierter Wirbelstromsignale bei der Innenrohrprüfung /
von: Mensching, Lothar
Veröffentlicht: (1992)

Wärmeaustuascher, Konstruktion : Berechnung /
von: Stephan, K.
Veröffentlicht: (1980)

DIALOG-ORIENTIERTES GRAPHISCHES PETRI-NETZ- ENTWICKLUNGSSYSTEM : Diogenes /
von: Kaltwasser, J.
Veröffentlicht: (1987)

Konstruktion : Produktentwicklung im Maschinen-, Apparate- und Gerätebau