Univerzita Pardubice Fakulta elektrotechniky a informatiky

Univerzita Pardubice

Zaměstnanci
|
Studenti
English

Publikace detail

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

Autoři: Kavička Antonín | Nejman Petr | Engliš Jiří

Rok: 2010

Druh publikace: software

Strana od-do: nestránkováno

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Editor a simulátor evoluce ABA-CPN – podtřídy barvené Petriho sítě	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.	Podtřída barvené Petriho sítě (ABA-CPN), editor, výpočet stavového prostoru, simulátor evoluce ABA-CPN.
eng	Editor and simulator of ABA-CPN – subclass of coloured Petri net	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.	Subclass of coloured Petri net (ABA-CPN), editor, state space computation, simulator of ABA-CPN evolution.