Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F10%3A86075310" target="_blank" >RIV/61989100:27510/10:86075310 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Bi-relační p/T Petriho Sítě a jejich využití při modelování objektově-orientovaných programových systémů

Popis výsledku v původním jazyce

Bi-relační P/T Petriho sítě přinášejí oproti klasickým P/T Petriho sítím některé nové a originální koncepty, které lze s úspěchem využít při návrhu, modelování a verifikaci obecně distribuovaných objektově-orientovaných programových systémů. V příspěvkujsou prezentovány základní vlastnosti bi-relačních Petriho sítí a zejména pak možnosti nově zavedených stránek sítě, vstupních a výstupních míst stránek sítě a funkcionalit násobných hran v jejich definici při modelování distribuovaných objektově-orientovaných programových systémů. Základní principy bi-relačních P/T Petriho sítí je pak možno využít v definici bi-relačních objektových Petriho sítí.

Název v anglickém jazyce

BI-RELATIONAL P/T PETRI NETS AND THEIR USING IN THE MODELLING OF OBJECT-ORIENTED PROGRAMMING SYSTEMS

Popis výsledku anglicky

Bi-relational P/T Petri nets bring some new and original concepts in comparison with the original P/T Petri nets. It is possible to successfully use these new ideas in the area of the projection, modeling and verification of distributed object-oriented programming systems. The base properties of the bi-realational P/T Petri nets are presented in this article, especially the possibilities of the newly defined kind of the net pages, input and output places of net pages and the multiplicative arcs in the area of the distributed object-oriented programming systems modeling. It is possible to use the base principles of the bi-relational P/T Petri nets in the frame of the bi-relational object Petri nets definition.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

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ů

Název statě ve sborníku

Informační technologie pro praxi 2010

ISBN

978-80-248-2300-3

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

—

Název nakladatele

Ekonomická fakulta VŠB-TU Ostrava

Místo vydání

Ostrava

Místo konání akce

Ostrava, Česká republika

Datum konání akce

7. 10. 2010

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—