Detail publikace

On the Simulation-Based Development of Systems Using Petri Nets

KOČÍ, R. JANOUŠEK, V.

Originální název

On the Simulation-Based Development of Systems Using Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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

Autoři

KOČÍ, R.; JANOUŠEK, V.

Rok RIV

2011

Vydáno

26. 2. 2011

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Gran Canaria

ISBN

978-84-693-9560-8

Kniha

Proceedings of the 13th International Conference on Computer Aided Systems Theory

Strany od

1

Strany do

2

Strany počet

2

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"
}