Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27510%2F15%3A86093764" target="_blank" >RIV/61989100:27510/15:86093764 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.hindawi.com/journals/tswj/2015/303705/" target="_blank" >http://www.hindawi.com/journals/tswj/2015/303705/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1155/2015/303705" target="_blank" >10.1155/2015/303705</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

Popis výsledku v původním jazyce

Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repositoryof LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the compositionof the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in thi

Název v anglickém jazyce

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

Popis výsledku anglicky

Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repositoryof LearnING Objects) project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the compositionof the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in thi

Druh

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

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Výzkumný tým pro modelování ekonomických a finančních procesů na VŠB-TU Ostrava</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

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

The Scientific World Journal

ISSN

2356-6140

e-ISSN

—

Svazek periodika

2015

Číslo periodika v rámci svazku

2015

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

19

Strana od-do

1-19

Kód UT WoS článku

—

EID výsledku v databázi Scopus

2-s2.0-84938250500