Řízení procesů informačních systémů pomocí Petriho sítí

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F07%3AA0800JV2" target="_blank" >RIV/61988987:17310/07:A0800JV2 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Řízení procesů informačních systémů pomocí Petriho sítí
Popis výsledku v původním jazyce
Příspěvek se zabývá problematikou procesního modelování pomocí explicitních modelů v informačních systémech s využitím formalismů (konkrétně Petriho sítí). Představeny jsou problémy, které na poli modelování byznys procesů panují a jejich možné řešení pomocí formálních metod ve spojení s informačními systémy.
Název v anglickém jazyce
Information System Management Using Petri Nets
Popis výsledku anglicky
This paper deals with business process modeling based on explicit models using information systems and formal methods (namely Petri nets). We introduce problems that arise on business process modeling field together with their solution using formal methods and information systems.

Projekt
<a href="/cs/project/1M0572" target="_blank" >1M0572: Data, algoritmy, rozhodování</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

Název statě ve sborníku
Sborník mezinárodní konference Svět informačních systémů 2007
ISBN
80-7318-561-9
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
127-133
Název nakladatele
Akademia Centrum
Místo vydání
Zlín
Místo konání akce
UTB Zlín
Datum konání akce
16. 4. 2007
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)