Detail výsledku

Towards an Open Implementation of the PNtalk System

JANOUŠEK, V.; KOČÍ, R. Towards an Open Implementation of the PNtalk System. Proceedings of the 5th EUROSIM Congress on Modeling and Simulation. Proceedings of the 5th Eurosim Congress on Modelling and Simulation. Paris: EUROSIM-FRANCOSIM-ARGESIM, 2004. p. 31-36. ISBN: 3-901608-28-1.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abstrakt

PNtalk is a long term project developing a system which combines Petrinets and Smalltalk in a consistent way by introducing Object OrientedPetri Nets. The objective of PNtalk is modeling, simulation, andprototyping systems. Our current focus is higher level of dynamism andhigher level of control over PNtalk features in order to allowheterogeneous modeling and better interoperability with itsenvironment. The most important feature is a possibility of replacingPetri nets by other formalisms in some parts of a model. To achievethese goals, an open approach proposing appropriate level of controlover selected features of models is adopted. The open implementation ofPNtalk is accomplished by its reflective metalevel architecture.

Klíčová slova

Metalevel architecture, Reflectivity, Modelling, Simulation, Prototyping, Object Oriented Petri Nets

Rok
2004
Strany
31–36
Sborník
Proceedings of the 5th EUROSIM Congress on Modeling and Simulation
Řada
Proceedings of the 5th Eurosim Congress on Modelling and Simulation
Konference
5th EUROSIM Congress on Modelling and Simulation
ISBN
3-901608-28-1
Vydavatel
EUROSIM-FRANCOSIM-ARGESIM
Místo
Paris
BibTeX
@inproceedings{BUT17356,
  author="Vladimír {Janoušek} and Radek {Kočí}",
  title="Towards an Open Implementation of the PNtalk System",
  booktitle="Proceedings of the 5th EUROSIM Congress on Modeling and Simulation",
  year="2004",
  series="Proceedings of the 5th  Eurosim Congress on
 Modelling and Simulation",
  pages="31--36",
  publisher="EUROSIM-FRANCOSIM-ARGESIM",
  address="Paris",
  isbn="3-901608-28-1"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GAČR, Postdoktorandské granty, GP102/03/D211, zahájení: 2003-09-01, ukončení: 2006-09-01, ukončen
Výzkumné skupiny
Pracoviště
Nahoru