Volltextdatei(en) in REPOSIT vorhanden Open Access
Lizenz: 
Titel: A Type Class Based Approach for Modeling Transformations of Abstract Petri NetsAbstract Petri Nets
Sprache: Englisch
Autorenschaft: Uhlig, Moritz 
Erscheinungsdatum: 7-Jan-2013
Zusammenfassung: 
Abstrakte Petri-Netze bieten einen einheitlichen Ansatz zur Beschreibung von Struktur und Semantik unterschiedlicher Arten von Petri-Netzen. Kategorientheorie stellt ein allgemeines Modell zur Beschreibung von Phänomenen bereit, die in unterschiedlichen Zweigen der Mathematik und Wissenschaft aufzufinden sind. Diese stellt die Basis für die Theorie der Abstrakten Petri-Netze dar, findet aber auch Anwendung in der funktionalen Programmierung. Diese Arbeit erläutert kategorielle Konzepte und deren Zusammenhang mit Abstrakten Petri-Netze sowie der funktionalen Programmierung.
Sie stellt ein Softwaredesign vor, für das diese Konzepte die Grundlage bilden

Abstract Petri Nets offer a unified approach to describing the structure and semantics of different kinds of Petri nets. Category provides a common model for describing phenomena found in multiple branches of mathematics and science. It acts as the foundation for the theory of Abstract Petri Nets but also has applications in in functional programming. This thesis explains categorical concepts and their relation to both functional programming and the theory of Abstract Petri Nets. A software design for implementing transformations of Petri nets based on these concepts will be presented.
URI: http://hdl.handle.net/20.500.12738/5990
Einrichtung: Department Informatik 
Dokumenttyp: Abschlussarbeit
Abschlussarbeitentyp: Bachelorarbeit
Hauptgutachter*in: Padberg, Julia 
Gutachter*in der Arbeit: Esser, Friedrich 
Enthalten in den Sammlungen:Theses

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat
bsc_uhlig_m_web.pdf465.15 kBAdobe PDFÖffnen/Anzeigen
Zur Langanzeige

Seitenansichten

133
checked on 15.06.2024

Download(s)

36
checked on 15.06.2024

Google ScholarTM

Prüfe

HAW Katalog

Prüfe

Feedback zu diesem Datensatz


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.