- Hauptmenü-

Katalogdatenanzeige

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

Kataloginformation Katalogdatensatz500290780 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	1046109049 Erscheint auch als (Druck-Ausgabe): ‡Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
ISBN	978-3-658-25243-4
Name	Brandau, Christoph ¬[VerfasserIn]¬
T I T E L	Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Verlagsort	Wiesbaden
Verlag	Springer Vieweg
Erscheinungsjahr	[2019]
Erscheinungsjahr	2019
Umfang	Online-Ressource (XXXI, 281 Seiten) : Illustrationen, Diagramme
Reihe	SpringerLink. Bücher
Hochschulschriftenvermerk	$bDissertation$cBergische Universität Wuppertal$d2018
Titelhinweis	Erscheint auch als (Druck-Ausgabe)ISBN: 978-3-658-25243-4
	Printed editionISBN: 978-3-658-25243-4
	Erscheint auch als (Druck-Ausgabe): ‡Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
ISBN	ISBN 978-3-658-25244-1
Klassifikation	UYF
	UYF
	COM036000
	621.395
	QA76.9.L63
Kurzbeschreibung	Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgültigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermöglicht eine Erweiterung des Prozesses. Des Weiteren erläutert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zusätzliche Funktionen zur Validierung des Prozesses implementiert sind. Der Inhalt Schaltungsgenerierung Exemplarische Petri-Netze Bibliothekselemente Modellierungsregeln Die Zielgruppen Dozierende und Studierende der Fachgebiete Informatik, Maschinenbau und Elektrotechnik Praktisch Tätige in Forschung und Entwicklung für die Bereiche Schaltungsentwurf, Systementwicklung und -verifizierung und technische Informatik Der Autor Christoph Brandau studierte Informationstechnologie an der Bergischen Universität Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl für Automatisierungstechnik/Informatik, wo er auch promovierte. Er hält außerdem die Vorlesung über Grundzüge der Informatik, Programmierung in C
2. Kurzbeschreibung	Schaltungsgenerierung -- Exemplarische Petri-Netze -- Bibliothekselemente -- Modellierungsregeln
1. Schlagwortkette	Digitalschaltung
	Schaltungsentwurf
	Petri-Netz
	Bedingungs-Ereignis-System
	Schaltungslogik
	VHDL
	Transformation
	Hardwareverifikation
	Implementierung <Informatik>
	Validierung
ANZEIGE DER KETTE	Digitalschaltung -- Schaltungsentwurf -- Petri-Netz -- Bedingungs-Ereignis-System -- Schaltungslogik -- VHDL -- Transformation -- Hardwareverifikation -- Implementierung -- Validierung
2. Schlagwortkette	Theoretische Informatik
	Petri-Netz
	Schaltungsentwurf
	Digitalschaltung
ANZEIGE DER KETTE	Theoretische Informatik -- Petri-Netz -- Schaltungsentwurf -- Digitalschaltung
SWB-Titel-Idn	516883860
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttps://doi.org/10.1007/978-3-658-25244-1
Internetseite / Link	Volltext
Siehe auch	Volltext

ISBD-Anzeige Katalogdatensatz500290780

Kategorien-Anzeige Katalogdatensatz500290780

Titel zur Titelsammlung hinzufügen Katalogdatensatz500290780

Kataloginformation500290780 Datensatzanfang . Kataloginformation500290780 Seitenanfang .

Titel vormerken Katalogdatensatz500290780

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.