Přístupnostní navigace
E-application
Search Search Close
Publication detail
KOČÍ, R. JANOUŠEK, V.
Original Title
On the Simulation-Based Development of Systems Using Petri Nets
Type
article in a collection out of WoS and Scopus
Language
English
Original 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.
Keywords
Simulation, Modelling, System Design, Petri Nets
Authors
KOČÍ, R.; JANOUŠEK, V.
RIV year
2011
Released
26. 2. 2011
Publisher
The Universidad de Las Palmas de Gran Canaria
Location
Las Palmas de Gran Canaria
ISBN
978-84-693-9560-8
Book
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Pages from
1
Pages to
2
Pages count
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" }