Biblioteca122.739 documentos en línea

Artículos

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets TheoryAutomatización de la producción de registros de presentación basada en tecnología de medios ricos utilizando la teoría de redes de Petri SNT.

Resumen

El término rich-media describe una amplia gama de medios interactivos digitales que se utilizan cada vez más en Internet y también en el apoyo a la educación. El año pasado, se construyó una sala de conferencias audiovisuales piloto especial como parte de la solución del proyecto MERLINGO. Contiene todos los elementos de una sala de conferencias moderna destinada a la realización de grabaciones de presentaciones basadas en tecnologías de rich-media y su publicación en línea o bajo demanda con acceso a todos sus elementos en modo automatizado, incluida la edición automática. Se diseñaron álgebras de procesos de redes de Petri que conservan propiedades (PPPA) para la especificación y verificación de los procesos de redes de Petri. PPPA no necesita verificar la composición de los procesos de redes de Petri porque todos sus operadores algebraicos conservan el conjunto especificado de propiedades. Estos PPPA originales se generalizaron significativamente para la nueva clase introducida de procesos de redes de Petri y redes de agentes SNT en este artículo. Se definen los operadores algebraicos PLACE

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento