Fulltext available Open Access
DC FieldValueLanguage
dc.contributor.advisorPadberg, Julia-
dc.contributor.authorUhlig, Moritz
dc.date.accessioned2020-09-29T11:46:48Z-
dc.date.available2020-09-29T11:46:48Z-
dc.date.created2012
dc.date.issued2013-01-07
dc.identifier.urihttp://hdl.handle.net/20.500.12738/5990-
dc.description.abstractAbstrakte 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 bildende
dc.description.abstractAbstract 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.en
dc.language.isoenen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/-
dc.subject.ddc004 Informatik
dc.titleA Type Class Based Approach for Modeling Transformations of Abstract Petri NetsAbstract Petri Netsen
dc.typeThesis
openaire.rightsinfo:eu-repo/semantics/openAccess
thesis.grantor.departmentDepartment Informatik
thesis.grantor.placeHamburg
thesis.grantor.universityOrInstitutionHochschule für angewandte Wissenschaften Hamburg
tuhh.contributor.refereeEsser, Friedrich-
tuhh.gvk.ppn733570232
tuhh.identifier.urnurn:nbn:de:gbv:18302-reposit-59920-
tuhh.note.externpubl-mit-pod
tuhh.note.intern1
tuhh.oai.showtrueen_US
tuhh.opus.id1921
tuhh.publication.instituteDepartment Informatik
tuhh.type.opusBachelor Thesis-
dc.subject.gndPetri-Netz
dc.type.casraiSupervised Student Publication-
dc.type.dinibachelorThesis-
dc.type.driverbachelorThesis-
dc.type.statusinfo:eu-repo/semantics/publishedVersion
dc.type.thesisbachelorThesis
dcterms.DCMITypeText-
tuhh.dnb.statusdomain-
item.languageiso639-1en-
item.fulltextWith Fulltext-
item.creatorGNDUhlig, Moritz-
item.creatorOrcidUhlig, Moritz-
item.grantfulltextopen-
item.cerifentitytypePublications-
item.openairetypeThesis-
item.advisorGNDPadberg, Julia-
item.openairecristypehttp://purl.org/coar/resource_type/c_46ec-
Appears in Collections:Theses
Files in This Item:
File Description SizeFormat
bsc_uhlig_m_web.pdf465.15 kBAdobe PDFView/Open
Show simple item record

Page view(s)

133
checked on Jun 15, 2024

Download(s)

36
checked on Jun 15, 2024

Google ScholarTM

Check

HAW Katalog

Check

Note about this record


Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.