COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89631" target="_blank" >RIV/00216305:26230/10:PU89631 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES
Popis výsledku v původním jazyce
The paper deals with comparison of two models used for modeling of processes. We used scattered context grammars Greibach and Hopcroft (1969) to model situation, when there are several sub-processes consisting of several actions. Now, we investigate Petri net Girault (2003), Rozenberg (1991) model's features and compare them with grammar ones. We focus on five main properties of the models that we compare.
Název v anglickém jazyce
COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES
Popis výsledku anglicky
The paper deals with comparison of two models used for modeling of processes. We used scattered context grammars Greibach and Hopcroft (1969) to model situation, when there are several sub-processes consisting of several actions. Now, we investigate Petri net Girault (2003), Rozenberg (1991) model's features and compare them with grammar ones. We focus on five main properties of the models that we compare.

Rok uplatnění
2010
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
Proceedings of The European Simulation and Modelling Conference - ESM'2010
ISBN
978-90-77381-57-1
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
—
Název nakladatele
EUROSIS
Místo vydání
Ghent
Místo konání akce
Hasselt
Datum konání akce
25. 10. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)