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

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

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

Popis výsledku v původním jazyce

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ů.

Název v anglickém jazyce

Petri Nets with Time Stamps

Popis výsledku anglicky

The monograph deals with selected problems in the design and modeling of general complex parallel, well-structured, component-oriented discrete time systems using newly introduced classes of low-level Petri nets with Time Stamps. In this context, four new classes of the Petri nets were set up for this purpose: the Petri nets with Time Stamps, the Process Petri Nets with Time Stamps, the Multiprocess Petri Nets with Time Stamps, and the Multiprocess Petri Multinets with Time Stamps that can be used for this purpose. Furthermore, there is a detailed study of the composition and transformation of the Process Nets with Time Stamps and Multiprocess Nets with Time Stamps through an accurately defined set of unary, binary and n-ary operator operators, with the fact that the selected properties of these networks are always examined in detail when applying each of these operators. A separate chapter is then devoted to case studies in which the properties of newly designed classes of the Process Petri Nets with Time Stamps and sets of algebraic operators for their transformation are applied and verified. The sub-chapters present the modeling of the production line functionalities with using of the Petri Net with Time Stamps, the modeling of a distributed software system based on the technology of active objects using a Multiprocess Petri Multinet with Time Stamps, and a special subclass CPNET of the class of Process Petri Nets with Time Stamps and its application in the area of project management.

Druh

B - Odborná kniha

CEP obor

—

OECD FORD obor

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

Projekt

<a href="/cs/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Výzkumný tým pro modelování ekonomických a finančních procesů na VŠB-TU Ostrava</a><br>

Návaznosti

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

Rok uplatnění

2018

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ů

ISBN

978-80-248-4201-1

Počet stran knihy

360

Název nakladatele

VŠB-TU Ostrava

Místo vydání

Ostrava

Kód UT WoS knihy

—