Conference paper

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.
Publication language:english
Original title:Comparison of Formal Models for Processes with Scattered Inter-Dependencies
Title (cs):Srovnání formálních modelů procesů s rozptýlenými závislosti
Pages:23-26
Proceedings:Proceedings of The European Simulation and Modelling Conference - ESM'2010
Conference:The 24th annual European Simulation and Modelling Conference
Place:Ghent, BE
Year:2010
ISBN:978-90-77381-57-1
Publisher:EUROSIS
Keywords
Process Management, Scattered Context Grammars,
Petri Nets, Context Dependencies, Parsing, Comparision
of Models
Annotation
The paper presents comparison of Petri nets and Scattered context grammars models to process modelling.
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9354}
}

Your IPv4 address: 54.146.47.178
Switch to IPv6 connection

DNSSEC [dnssec]