Editor a simulátor evoluce ABA-CPN - podtřídy barvené Petriho sítě

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F10%3A39881338" target="_blank" >RIV/00216275:25530/10:39881338 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Editor a simulátor evoluce ABA-CPN - podtřídy barvené Petriho sítě
Popis výsledku v původním jazyce
Software poskytuje integrované vývojové prostředí pro vytváření, výpočet stavového prostoru a provádění simulace evoluce původní podtřídy barvené Petriho sítě nazývané jako ABA-CPN. Zmíněná podtřída barvené Petriho sítě je aplikovatelná pro deklarativníspecifikace interních komponentů agentů v rámci agentově orientované architektury simulačních modelů nazývané jako ABAsim.
Název v anglickém jazyce
Editor and simulator of ABA-CPN - subclass of coloured Petri net
Popis výsledku anglicky
The software provides an integrated development environment which supports building, state space (occurrence graph) computation and simulation of evolution related of an original subclass of coloured Petri net called ABA-CPN. The mentioned subclass of coloured Petri net is applicable for declarative specifications of internal components encapsulated by agents within the frame of a proprietary agent-based architecture of simulation models called ABAsim.

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Interní identifikační kód produktu
Sim-ABA-CPN
Technické parametry
kontakt pro získání licence: prof. Ing. Antonín Kavička, Ph.D., Fakulta elektrotechniky a informatiky, Univerzita Pardubicde, Nám. Čs. legií 565, CZ-532 10 Pardubice, tel.: 466036645, E-mail: Antonin.Kavicka@upce.cz
Ekonomické parametry
25.000,-
IČO vlastníka výsledku
00216275
Název vlastníka
Univerzita Pardubice, Fakulta elektrotechniky a informatiky, Katedra softwarových technologií

Podobné výsledky(10)