Faculty of Information Technology, BUT

Publication Details

On the Simulation-Based Development of Systems Using Petri Nets

KOČÍ Radek and JANOUŠEK Vladimír. On the Simulation-Based Development of Systems Using Petri Nets. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 1-2. ISBN 978-84-693-9560-8.
Czech title
Vývoj systémů s využitím Petriho sítí
Type
conference paper
Language
english
Authors
Keywords
Simulation, Modelling, System Design, Petri Nets
Abstract
This paper is aimed at Model and Simulation-Based Development (MSBD) of systems, which is understood as a set of techniques
and tools intended for the software system
development which is based on formal models, model continuity, and simulation techniques. Its goal is to increase efficiency and reliability of development processes including the software system deployment.
Published
2011
Pages
1-2
Proceedings
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Conference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Gran Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB9493,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "On the Simulation-Based Development of Systems Using Petri Nets",
   pages = "1--2",
   booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory",
   year = 2011,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9493"
}
Back to top