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

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

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í.

Czech name

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

Czech description

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í.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Informační technologie pro praxi 2010

ISBN

978-80-248-2300-3

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

—

Publisher name

Ekonomická fakulta VŠB-TU Ostrava

Place of publication

Ostrava

Event location

Ostrava, Česká republika

Event date

Oct 7, 2010

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—