Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Transformace procesního modelu

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60460709%3A41110%2F07%3A19345" target="_blank" >RIV/60460709:41110/07:19345 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Transformace procesního modelu

  • Popis výsledku v původním jazyce

    Cílem tohoto referátu je krátké představení transformace procesního diagramu metody BORM do Petriho sítě a simulace vzniklé sítě pomocí nástroje PNSim. Přínos spočívá zejména ve snaze popsat a realizovat proces, kdy z neformálního modelu v BORMu jsme schopni pomocí transformace vytvořit formální model (Petriho síť). Dále jsme schopni tento formální model ověřit pomocí simulace a na základě toho poukázat na důležité vlastnosti původního neformálního návrhu.

  • Název v anglickém jazyce

    Transformation of process model

  • Popis výsledku anglicky

    Centre of gravity in this paper is short presentation of transformation of BORM process diagram in to Petri net and simulation of this net in the PNSim tool. It the case of Petri nets is concerned mathematical apparatus. In the beginning, we are trying to describe by this formal apparatus (Petri nets) the non formal BORM process model, with the possibility of simulation in the PNSim tool. On the basis of simulation we want to say something about characteristics of the original non formal model (BORM).

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

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

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA402%2F06%2F1325" target="_blank" >GA402/06/1325: AMIMADES - Inteligence prostředí pro podporu manažerského rozhodování</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2007

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

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Sborník příspěvků z doktorské vědecké konference THINK TOGETHER 2007

  • ISBN

    978-80-213-1623-2

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    1

  • Strana od-do

    0-0

  • Název nakladatele

    Česká zemědělská univerzita v Praze, Provozně ekonomická fakulta

  • Místo vydání

    Praha

  • Místo konání akce

    PEF CZU

  • Datum konání akce

    13. 2. 2007

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku