Petri Nets with Time Stamps

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F18%3A10241711" target="_blank" >RIV/61989100:27510/18:10241711 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Petriho sítě s časovými známkami

Original language description

Monografie se zabývá vybranými problémy z oblasti návrhu a modelování obecných komplexních paralelních dobře-strukturovaných komponentově-orientovaných systémů diskrétního času s využitím nově zavedených tříd nízkoúrovňových Petriho sítí s časovými známkami. V rámci jejího textu byly za tímto účelem definovány čtyři nové třídy Petriho sítí: Petriho sítě s časovými známkami, procesní Petriho sítě s časovými známkami, multiprocesní Petriho sítě s časovými známkami a multiprocesní Petriho multisítě s časovými známkami, které lze k tomuto účelu využít. Dále je zde podrobně studována problematika kompozice a transformace procesních sítí s časovými známkami a multiprocesních sítí s časovými známkami prostřednictvím exaktně definované množiny unárních, binárních a n-árních operátorů s tím, že je vždy podrobně vyšetřeno zachování vybraných vlastností těchto sítí při aplikaci každého z těchto operátorů. Samostatná kapitola je pak věnována případovým studiím, v jejichž rámci jsou aplikovány a ověřeny vlastnosti nově navržených tříd procesních Petriho sítí s časovými známkami a množiny algebraických operátorů určených k jejich transformaci. V jednotlivých podkapitolách je pak prezentováno modelování funkcionalit výrobní linky procesní Petriho sítí s časovými známkami, modelování distribuovaného programového systému na bázi technologie aktivních objektů s využitím multiprocesní Petriho multisítě s časovými známkami a dále zavedena speciální třída CPNET procesních Petriho sítí s časovými známkami a provedena její aplikace v oblasti řízení projektů.

Czech name

Petriho sítě s časovými známkami

Czech description

Monografie se zabývá vybranými problémy z oblasti návrhu a modelování obecných komplexních paralelních dobře-strukturovaných komponentově-orientovaných systémů diskrétního času s využitím nově zavedených tříd nízkoúrovňových Petriho sítí s časovými známkami. V rámci jejího textu byly za tímto účelem definovány čtyři nové třídy Petriho sítí: Petriho sítě s časovými známkami, procesní Petriho sítě s časovými známkami, multiprocesní Petriho sítě s časovými známkami a multiprocesní Petriho multisítě s časovými známkami, které lze k tomuto účelu využít. Dále je zde podrobně studována problematika kompozice a transformace procesních sítí s časovými známkami a multiprocesních sítí s časovými známkami prostřednictvím exaktně definované množiny unárních, binárních a n-árních operátorů s tím, že je vždy podrobně vyšetřeno zachování vybraných vlastností těchto sítí při aplikaci každého z těchto operátorů. Samostatná kapitola je pak věnována případovým studiím, v jejichž rámci jsou aplikovány a ověřeny vlastnosti nově navržených tříd procesních Petriho sítí s časovými známkami a množiny algebraických operátorů určených k jejich transformaci. V jednotlivých podkapitolách je pak prezentováno modelování funkcionalit výrobní linky procesní Petriho sítí s časovými známkami, modelování distribuovaného programového systému na bázi technologie aktivních objektů s využitím multiprocesní Petriho multisítě s časovými známkami a dále zavedena speciální třída CPNET procesních Petriho sítí s časovými známkami a provedena její aplikace v oblasti řízení projektů.

Type

B - Specialist book

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Research team for modelling of economic and financial processes at VSB-TU Ostrava</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2018

Confidentiality

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

ISBN

978-80-248-4201-1

Number of pages

360

Publisher name

VŠB-TU Ostrava

Place of publication

Ostrava

UT code for WoS book

—