Product Details
PNtalk
Created: 2008
Czech title
PNtalk
Type
software
License
optional - free
Authors
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Keywords
Object Oriented Petri Nets, modelling, simulation, system design based on modelling and simulation
Description
PNtalk is the modelling and simulation framework based on the formalism of Object Oriented Petri Nets. It combines properties of Petri Nets with advantages of object oriented system design. PNtalk allows to use the mathematical formalism for the design and implementation of software systems.
Location
Licence
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Model Based System Development (GP102/07/P306)
PNtalk - tools based on object-oriented Petri nets (UIVT-PNtalk)
Security-Oriented Research in Information Technology (MSM0021630528)
Model Based System Development (GP102/07/P306)
PNtalk - tools based on object-oriented Petri nets (UIVT-PNtalk)
Security-Oriented Research in Information Technology (MSM0021630528)
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)