Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2015-01-01
|
| Series: | The Scientific World Journal |
| Online Access: | http://dx.doi.org/10.1155/2015/303705 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832561004593020928 |
|---|---|
| author | Ivo Martiník |
| author_facet | Ivo Martiník |
| author_sort | Ivo Martiník |
| collection | DOAJ |
| 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
Repository of 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 composition of 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 this
paper. The PLACE-SUBST and ASYNC-PROC
algebraic operators are defined for this class
of Petri nets and their chosen properties are
proved. The SNT Petri process and agent nets
theory were significantly applied at the design,
verification, and implementation of the
programming system ensuring the pilot
audiovisual lecture room
functionality. |
| format | Article |
| id | doaj-art-2a2cad756074444fbe3577fd5e3b3ede |
| institution | Kabale University |
| issn | 2356-6140 1537-744X |
| language | English |
| publishDate | 2015-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | The Scientific World Journal |
| spelling | doaj-art-2a2cad756074444fbe3577fd5e3b3ede2025-02-03T01:26:11ZengWileyThe Scientific World Journal2356-61401537-744X2015-01-01201510.1155/2015/303705303705Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets TheoryIvo Martiník0Faculty of Economics, VŠB-Technical University of Ostrava, Sokolská třída 33, 701 21 Ostrava 1, Czech RepublicRich-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 Repository of 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 composition of 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 this paper. The PLACE-SUBST and ASYNC-PROC algebraic operators are defined for this class of Petri nets and their chosen properties are proved. The SNT Petri process and agent nets theory were significantly applied at the design, verification, and implementation of the programming system ensuring the pilot audiovisual lecture room functionality.http://dx.doi.org/10.1155/2015/303705 |
| spellingShingle | Ivo Martiník Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory The Scientific World Journal |
| title | Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory |
| title_full | Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory |
| title_fullStr | Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory |
| title_full_unstemmed | Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory |
| title_short | Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory |
| title_sort | automation of presentation record production based on rich media technology using snt petri nets theory |
| url | http://dx.doi.org/10.1155/2015/303705 |
| work_keys_str_mv | AT ivomartinik automationofpresentationrecordproductionbasedonrichmediatechnologyusingsntpetrinetstheory |