A Type Class Based Approach for Modeling Transformations of Abstract Petri NetsAbstract Petri Nets

Abstract

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.