Result Details

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.
Type
conference paper
Language
English
Authors
Abstract

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.

Keywords

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

Published
2004
Pages
31–36
Proceedings
Proceedings of the 5th EUROSIM Congress on Modeling and Simulation
Series
Proceedings of the 5th Eurosim Congress on Modelling and Simulation
Conference
5th EUROSIM Congress on Modelling and Simulation
ISBN
3-901608-28-1
Publisher
EUROSIM-FRANCOSIM-ARGESIM
Place
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"
}
Projects
Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems, GACR, Postdoktorandské granty, GP102/03/D211, start: 2003-09-01, end: 2006-09-01, completed
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Departments
Back to top