XSLT šablona pro vytvoření grafu objektové Petriho sítě z formátu OPNML

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62156489%3A43110%2F08%3A00133665" target="_blank" >RIV/62156489:43110/08:00133665 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

XSLT šablona pro vytvoření grafu objektové Petriho sítě z formátu OPNML

Popis výsledku v původním jazyce

V jazyce XSLT (Extensible Stylesheet Language) byla vytvořena šablona s detailními pravi-dly pro transformaci modelu objektové Petriho sítě z jazyka OPNML (Object Petri Net Mar-kup Language) do vektorového grafického formátu SVG. Místo, znázorněné v grafu Petriho sítě v podobě kružnice, je vykresleno pomocí SVG elementu ellipse. Přechody, které bývají v grafech Petriho sítí zobrazeny jako obdélníky, jsou modelovány elementem rect. Specifický vzhled mají synchronní a asynchronní hierarchické přechody. Hrana je modelována SVG elementem path. Na typu hrany (normální, testovací, inhibiční) závisí zakončení její šipky v grafu. Různá zakončení jsou definována pomocí elementu marker a poté ve formě odkazu použita v definici hrany (element path). Součástí popisu objektové Petriho sítě v jazyce OP-NML jsou i hranové výrazy (booleovské u vstupních a přiřazovací u výstupních hran přecho-du), které jsou rovněž zpracovány a následně zobrazeny v grafu. K prohlížení vytvořených SVG grafů je možno pou

Název v anglickém jazyce

XSLT template for generating of diagram of object-oriented Petri net from the OPNML format

Popis výsledku anglicky

Using XSLT (Extensible Stylesheet Language), template to transform Object-Oriented Petri Net described by OPNML (Object Petri Net Markup Language) into a graph was created. The template defines rules of transformation from OPNML language to the vector graphic format SVG. Place, which is in Petri Net graph displayed in shape of a circle, is painted by the me-dium of SVG-element ellipse. Transitions, displayed as rectangles, are modeled via element rect. Synchronous and asynchronous hierarchical transitions have specific appearance. The arc of the Petri Net graph is created by the help of element path. The shape of the arc vertex in graph depends on the arc type (normal, test, inhibitory). Individual types of vertex are de-fined through element marker and then referenced from the element arc. Arc expressions (Boolean-type in case of input arcs of the transition and assignment-type at output arcs), which are also included with the Object-Oriented Petri Net definition, ale processed and th

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í

2008

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 : Acta of Mendel University of agriculture and forestry Brno = Acta Mendelovy zemědělské a lesnické univerzity v Brně

ISSN

1211-8516

e-ISSN

—

Svazek periodika

LVI

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

5

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—