XML formát pro záznam objektové Petriho sítě

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F07%3A00124562" target="_blank" >RIV/62156489:43110/07:00124562 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

XML formát pro záznam objektové Petriho sítě

Popis výsledku v původním jazyce

Petriho sítě poskytují výkonné prostředky pro modelování kauzality, nedeterminismu a paralelismu v diskrétních systémech. Protože jsou ve své podstatě matematickým modelem, nabízejí teorii, která může být úspěšně využita pro verifikaci modelů. Proveditelnost Petriho sítí je předurčuje pro simulaci a rychlé prototypování. Objektové Petriho sítě představují dosti komplikovanou třídu, založenou na hierarchických a vysokoúrovňových Petriho sítích. Jejich složitost je však vyvážena jejich schopností určit významné vlastnosti modelovaného systému a zobrazit jej v grafické podobě. V současnosti používané nástroje na modelování, simulaci a verifikaci různých variant Petriho sítí používají pro vzájemnou výměnu modelů formát jazyka PNML (Petri Net Markup Language), který však není disponován k vyjádření objektové Petriho sítě. Tento příspěvek představuje prototyp jazyka na bázi XML pro modelování paralelních objektově orientovaných systémů popsaných objektovou Petriho sítí. Jazyk, který vznikl n

Název v anglickém jazyce

XML format for notation of object-oriented Petri net

Popis výsledku anglicky

Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models. Executability of Petri nets predestinates them for simulation and fast prototyping. Object Petri nets represent rather complicated class, based on hierarchical and high-level Petri nets. However their complexity is balanced by their ability to identify significant characteristics of system model and to visualize it in a graphic representation. Tools currently applied to modeling, simulation and verification of various Petri net variants use language PNML (Petri Net Markup Language) as an interchange format.However PNML is not capable of expression of object Petri net. This paper introduces prototype of XML-based language for modeling of parallel object-oriented systems described by object Petri net. This language, based on PNML, was named O

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

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ů

Název periodika

Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis

ISSN

1211-8516

e-ISSN

—

Svazek periodika

LV

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

9

Strana od-do

47-55

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—