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

## TL;DR

This paper introduces a system for automatically recording and editing educational presentations using rich-media technology and Petri net theory.

## Contribution

The paper introduces new algebraic operators and generalizes Petri net theory for automated presentation recording systems.

## Key findings

- PLACE-SUBST and ASYNC-PROC operators were defined for SNT Petri nets and their properties proved.
- The SNT Petri nets theory was successfully applied to design and implement a pilot audiovisual lecture room system.
- The system enables automated access and editing of presentation elements using rich-media technologies.

## Abstract

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.