Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

کریستف براندو مدارهای دیجیتال را با استفاده از شبکه های پتری طراحی و تأیید می کند. یک توضیح سخت افزاری با تبدیل جدید معرفی شده کل مدل شبکه پتری ایجاد می شود. مولفه های اصلی این مطالعه، تعریف شبکه های پتری مدار دیجیتال شامل توصیف ورودی ها و خروجی ها، معرفی زیرشبکه ها برای تقسیم بندی و استفاده مجدد از شبکه های مدل سازی شده و شرح کل فرآیند تبدیل رسمی شده از مدل سازی تا سخت افزار نهایی است. شرح. تقسیم به مراحل و استراتژی ها باعث می شود که روند گسترش یابد. نویسنده همچنین ابزار منطقی PetriNet را توضیح می‌دهد که در آن کل فرآیند تولید مدار نقشه‌برداری می‌شود و توابع اضافی برای اعتبارسنجی فرآیند پیاده‌سازی می‌شوند.

نویسنده:

کریستف براندو در دانشگاه ووپرتال در رشته فناوری اطلاعات تحصیل کرد. او همکار پژوهشی کرسی فناوری اتوماسیون/علوم کامپیوتر است که دکترای خود را نیز از آنجا دریافت کرده است. او همچنین در مورد مبانی علوم کامپیوتر، برنامه نویسی به زبان C.

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 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.