Publication Details

Comparison of Formal Models for Processes with Scattered Inter-Dependencies

KOLÁŘ Dušan and KVĚTOŇOVÁ Šárka. COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES. In: Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010, pp. 23-26. ISBN 978-90-77381-57-1.
Czech title
Srovnání formálních modelů procesů s rozptýlenými závislosti
Type
conference paper
Language
english
Authors
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT)
Květoňová Šárka, Ing., Ph.D. (DIFS FIT BUT)
Keywords

Process Management, Scattered Context Grammars,
Petri Nets, Context Dependencies, Parsing, Comparision
of Models

Abstract

The paper presents comparison of Petri nets and Scattered context grammars models to process modelling.

Annotation

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.

Published
2010
Pages
23-26
Proceedings
Proceedings of The European Simulation and Modelling Conference - ESM'2010
Conference
The 24th annual European Simulation and Modelling Conference, Hasselt, BE
ISBN
978-90-77381-57-1
Publisher
EUROSIS
Place
Ghent, BE
BibTeX 
@INPROCEEDINGS{FITPUB9354,
   author = "Du\v{s}an Kol\'{a}\v{r} and \v{S}\'{a}rka Kv\v{e}to\v{n}ov\'{a}",
   title = "Comparison of Formal Models for Processes with Scattered Inter-Dependencies",
   pages = "23--26",
   booktitle = "Proceedings of The European Simulation and Modelling Conference - ESM'2010",
   year = 2010,
   location = "Ghent, BE",
   publisher = "EUROSIS",
   ISBN = "978-90-77381-57-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9354"
}
Back to top