PNtalk

PNtalk

software

Use of the result by another entity is possible without acquiring a license in some cases

The licensor does not require a license fee for the result

Kočí Radek, Ing., Ph.D. (DITS)

Object Oriented Petri Nets, modelling, simulation, system design based on modelling and simulation

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.

Domovská stránka projektu (http://perchta.fit.vutbr.cz/pntalk2k/28)

MIT License.

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
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
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

System Modelling and Optimization Research Group (VZ MODSIM)
Petri Nets Research Group (VZ PETRINET)

Department of Intelligent Systems (DITS)