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!
|
| Summary: | 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. |
|---|---|
| ISSN: | 2356-6140 1537-744X |