Detail výsledku

On the Dynamic Features of PNtalk

KOČÍ, R.; JANOUŠEK, V. On the Dynamic Features of PNtalk. International Workshop on Petri Nets and Software Engineering 2009. Paříž: University of Pierre and Marie Curie, 2009. p. 189-206.
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

PNtalk is a tool based on Object Oriented Petri nets. It is intended for systems modeling, simulation and prototyping. In some situations, it is also possible to use it as a programming language and a framework for final implementation of the systems. The paper presents a meta-level architecture of the PNtalk kernel and and demonstrates its reflective features. These features are crucial for the systems development process as well as for the systems maintenance. The usage of the PNtalk metaobjects are demonstrated by examples.

Klíčová slova

Object-oriented Petri nets, meta-level architecture, modeling, simulation, rapid prototyping

Rok
2009
Strany
189–206
Sborník
International Workshop on Petri Nets and Software Engineering 2009
Konference
International Workshop on Petri Nets and Software Engineering
Vydavatel
University of Pierre and Marie Curie
Místo
Paříž
BibTeX 
@inproceedings{BUT30209,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="On the Dynamic Features of PNtalk",
  booktitle="International Workshop on Petri Nets and Software Engineering 2009",
  year="2009",
  pages="189--206",
  publisher="University of Pierre and Marie Curie",
  address="Paříž"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
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)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru