Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

Name: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Brand: Springer Nature
SKU: 9783658252434
Availability: InStock

Best Price (Coupon Required):
Buy Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets for $40.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$40.50

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$44.99	$44.99		10% OFF This deals requires coupon	$40.50		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783658252434

Condition

New

Product Description

Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingefhrte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgngen, die Einfhrung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgltigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermglicht eine Erweiterung des Prozesses. Des Weiteren erlutert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zustzliche Funktionen zur Validierung des Prozesses implementiert sind. Der Autor: Christoph Brandau studierte Informationstechnologie an derBergischen Universitt Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl fr Automatisierungstechnik/Informatik, wo er auch promovierte. Er hlt auerdem die Vorlesung ber Grundzge der Informatik, Programmierung in C.

Available Colors

N/A

Available Sizes

N/A