Detail výsledku

On the Simulation-Based Development of Systems Using Petri Nets

KOČÍ, R.; JANOUŠEK, V. On the Simulation-Based Development of Systems Using Petri Nets. 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. p. 1-2. ISBN: 978-84-693-9560-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Abstrakt

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.

Klíčová slova

Simulation, Modelling, System Design, Petri Nets

Rok
2011
Strany
1–2
Sborník
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference
Thirteen International Conference On Computer Aided Systems Theory
ISBN
978-84-693-9560-8
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Gran Canaria
BibTeX 
@inproceedings{BUT91083,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="On the Simulation-Based Development of Systems Using Petri Nets",
  booktitle="Proceedings of the 13th International Conference on Computer Aided Systems Theory",
  year="2011",
  pages="1--2",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="978-84-693-9560-8"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru