![](/images/graphics-bg.png)
Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory
المؤلف
المصدر
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-07-14
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الطب البشري
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
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.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Martiník, Ivo. 2015. Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory. The Scientific World Journal،Vol. 2015, no. 2015, pp.1-19.
https://search.emarefa.net/detail/BIM-1078654
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Martiník, Ivo. Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory. The Scientific World Journal No. 2015 (2015), pp.1-19.
https://search.emarefa.net/detail/BIM-1078654
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Martiník, Ivo. Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory. The Scientific World Journal. 2015. Vol. 2015, no. 2015, pp.1-19.
https://search.emarefa.net/detail/BIM-1078654
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1078654
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)