ČVUT DSpace
  • Search DSpace
  • Čeština
  • Login
  • Čeština
  • Čeština
View Item 
  •   ČVUT DSpace
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Digital Design
  • Master Theses - 18103
  • View Item
  • Czech Technical University in Prague
  • Faculty of Information Technology
  • Department of Digital Design
  • Master Theses - 18103
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Implementace Petriho sítě v hradlovém poli

Petri Net Implementation in FPGA

Type of document
diplomová práce
master thesis
Author
Jakš Zbyněk
Supervisor
Kubátová Hana
Opponent
Kohlík Martin
Field of study
Návrh a programování vestavných systémů
Study program
Informatika
Institutions assigning rank
katedra číslicového návrhu



Rights
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item record
Abstract
Tato práce se zabývá metodikou převodu popisu Petriho sítí z jazyka PNML do syntetizovatelného zápisu pro programovatelná hradlová pole v jazyce VHDL. V úvodní části představí samotný koncept Petriho sítí, varianty a praktické využítí. Další část bude věnována nástrojům pro modelování Petriho sítí a jejich výhodám a nevýhodám. Následně bude vysvětlen popis v normalizovaném jazyce PNML, a poté také, jak lze sítě realizovat v programovatelných hradlových polích. Samotný převod mezi oběma formáty bude poté proveden pomocí vytvořené aplikace a předveden na zvoleném modelu Petriho sítě. V závěru práce zhodnotí funkčnost a využitelnost tohoto řešení.
 
Primary focus of this thesis is to find a solution for converting a Petri net description in PNML language into synthesizable code for FPGA devices in VHDL language. The first part introduces a concept of Petri nets themselves, their variations and practical examples. Next part deals with available tools for modeling Petri nets and explains their positives and negatives. Third part presents the PNML standard and shows a possible method of implementing a Petri net in FPGA platform. The conversion itself will be carried out by created application and demostrated on a Petri net model example. At the end the thesis comes with a conclusion of functionality and utilization of this solution.
 
URI
http://hdl.handle.net/10467/76364
View/Open
PLNY_TEXT (1.770Mb)
POSUDEK (137.1Kb)
POSUDEK (142.4Kb)
Collections
  • Diplomové práce - 18103 [81]

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Useful links

CTU in PragueCentral library of CTUAbout CTU Digital LibraryResourcesStudy and library skillsResearch support

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

České vysoké učení technické v Praze copyright © 2016 

DSpace software copyright © 2002-2016  Duraspace

Contact Us | Send Feedback
Theme by 
@mire NV