Digitální knihovnaUPCE
 

Výpočet stavového prostoru podtřídy barvené Petriho sítě

Diplomová práceaccess-status.open.listelement.badge

Abstrakt

Práce se zabývá problematikou architektury simulačních modelů ABAsim a problematikou Pertiho sítí, zvláště podtřídy barvené Petriho sítě zvané ABA-CPN. Dále se zabývá popisem aplikace vyvinuté pro výpočet stavového prostoru této podtřídy barvených Petriho sítí.

Rozsah stran

92 s.

ISSN

Trvalý odkaz na tento záznam

Projekt

Zdrojový dokument

Vydavatelská verze

Přístup k e-verzi

Bez omezení

Název akce

ISBN

Studijní obor

Informační technologie

Studijní program

Informační technologie

Signatura tištěné verze

D24791

Umístění tištěné verze

Univerzitní knihovna (sklad)

Přístup k tištěné verzi

Klíčová slova

ABAsim, Petriho síť, ABA-CPN, stavový prostor, Petri net, state space

Endorsement

Review

item.page.supplemented

item.page.referenced