Result Details

Comparison of Formal Models for Processes with Scattered Inter-Dependencies

KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Comparison of Formal Models for Processes with Scattered Inter-Dependencies. Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010. p. 23-26. ISBN: 978-90-77381-57-1.
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing., DIFS (FIT)
Květoňová Šárka, Ing., Ph.D., DIFS (FIT)
Abstract

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

Keywords

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

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
ISBN
978-90-77381-57-1
Publisher
EUROSIS
Place
Ghent
BibTeX 
@inproceedings{BUT34933,
  author="Dušan {Kolář} and Šárka {Květoňová}",
  title="Comparison of Formal Models for Processes with Scattered Inter-Dependencies",
  booktitle="Proceedings of The European Simulation and Modelling Conference - ESM'2010",
  year="2010",
  pages="23--26",
  publisher="EUROSIS",
  address="Ghent",
  isbn="978-90-77381-57-1"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top