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

Martiník I - ScientificWorldJournal (2015)

Bottom Line: 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 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.

View Article: PubMed Central - PubMed

Affiliation: Faculty of Economics, VŠB-Technical University of Ostrava, Sokolská třída 33, 701 21 Ostrava 1, Czech Republic.

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.

No MeSH data available.


SNT process net RNET1.
© Copyright Policy - open-access
Related In: Results  -  Collection


getmorefigures.php?uid=PMC4516835&req=5

fig16: SNT process net RNET1.

Mentions: Figure 16 shows the resulting PN RNET1  that is composed of the PN ROOM = ROOM1.P1 〈] ROOM2 and the AN CAM1 using the ASYNC-PROC operator such that RNET1 = ROOM.T1.T3.T10.T11.T12.T13.T14 -] CAM1. The PN RNET1 introduces the mechanism of the messages generated by the area sensors of the audiovisual lecture room processing (these messages are represented by the tokens 〈1〉–〈6〉 in the PN RNET1). The whole PN RNET1 is again sound according to Lemma 13.


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

Martiník I - ScientificWorldJournal (2015)

SNT process net RNET1.
© Copyright Policy - open-access
Related In: Results  -  Collection

Show All Figures
getmorefigures.php?uid=PMC4516835&req=5

fig16: SNT process net RNET1.
Mentions: Figure 16 shows the resulting PN RNET1  that is composed of the PN ROOM = ROOM1.P1 〈] ROOM2 and the AN CAM1 using the ASYNC-PROC operator such that RNET1 = ROOM.T1.T3.T10.T11.T12.T13.T14 -] CAM1. The PN RNET1 introduces the mechanism of the messages generated by the area sensors of the audiovisual lecture room processing (these messages are represented by the tokens 〈1〉–〈6〉 in the PN RNET1). The whole PN RNET1 is again sound according to Lemma 13.

Bottom Line: 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 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.

View Article: PubMed Central - PubMed

Affiliation: Faculty of Economics, VŠB-Technical University of Ostrava, Sokolská třída 33, 701 21 Ostrava 1, Czech Republic.

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.

No MeSH data available.