All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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

The result's identifiers

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

  • Result on the web

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

Alternative languages

  • Result language

    angličtina

  • Original language name

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

  • Original language description

    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

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/EE2.3.20.0296" target="_blank" >EE2.3.20.0296: Research team for modelling of economic and financial processes at VSB-TU Ostrava</a><br>

  • Continuities

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

Others

  • Publication year

    2015

  • Confidentiality

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

Data specific for result type

  • Name of the periodical

    The Scientific World Journal

  • ISSN

    2356-6140

  • e-ISSN

  • Volume of the periodical

    2015

  • Issue of the periodical within the volume

    2015

  • Country of publishing house

    US - UNITED STATES

  • Number of pages

    19

  • Pages from-to

    1-19

  • UT code for WoS article

  • EID of the result in the Scopus database

    2-s2.0-84938250500