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 toverify the composition of the Petri netprocesses because all their algebraic operatorspreserve the specified set of the properties.These original PPPA are significantlygeneralized for the newly introduced class ofthe SNT Petri process and agent nets in thispaper. The PLACE-SUBST and ASYNC-PROCalgebraic operators are defined for this classof Petri nets and their chosen properties areproved. The SNT Petri process and agent netstheory were significantly applied at the design,verification, and implementation of theprogramming system ensuring the pilotaudiovisual lecture roomfunctionality.
展开▼