Result Details

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.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Abstract

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.

Keywords

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

Published
2009
Pages
189–206
Proceedings
International Workshop on Petri Nets and Software Engineering 2009
Conference
International Workshop on Petri Nets and Software Engineering
Publisher
University of Pierre and Marie Curie
Place
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říž"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top