Teaching Principles of Petri Nets in Hardware Courses and Student' Projects

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F09%3A00155460" target="_blank" >RIV/68407700:21240/09:00155460 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Teaching Principles of Petri Nets in Hardware Courses and Student' Projects

Popis výsledku v původním jazyce

Chapter 8, Teaching Principles of Petri Nets in Hardware Courses and Student's Projects, presents the principles of using Petri Net formalism in hardware design courses, especially in the course "Architecture of peripheral devices". Several models and results obtained by student individual or group projects are mentioned. First the using of formalism as a modeling tool is presented consecutively from Place/Transition nets to Coloured Petri nets. Then the possible Petri Nets using as a hardware specification for direct hardware implementation (synthesized VHDL for FPGA) is described. Implementation and simulation results of three directly implemented models are presented.

Název v anglickém jazyce

Teaching Principles of Petri Nets in Hardware Courses and Student' Projects

Popis výsledku anglicky

Chapter 8, Teaching Principles of Petri Nets in Hardware Courses and Student's Projects, presents the principles of using Petri Net formalism in hardware design courses, especially in the course "Architecture of peripheral devices". Several models and results obtained by student individual or group projects are mentioned. First the using of formalism as a modeling tool is presented consecutively from Place/Transition nets to Coloured Petri nets. Then the possible Petri Nets using as a hardware specification for direct hardware implementation (synthesized VHDL for FPGA) is described. Implementation and simulation results of three directly implemented models are presented.

Druh

C - Kapitola v odborné knize

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications

ISBN

978-1-60566-774-4

Počet stran výsledku

13

Strana od-do

—

Počet stran knihy

585

Název nakladatele

Information science Reference

Místo vydání

Hershey

Kód UT WoS kapitoly

—