SILABO DE MODELAMIENTO DE SISTEMAS CON REDES DE PETRI
I. IDENTIFICACIN 1.1. Experiencia Curricular: MODELAMIENTO DE SISTEMAS CON REDES DE PETRI 1.2. Facultad: FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS 1.3. Para estudiantes de la carrera: INFORMATICA 1.3.1. Sede: Trujillo 1.4. Calendario Acadmico: 2014-II 1.5. Ao/Ciclo Acadmico: 8 1.6. Cdigo de curso: 1018 1.7. Seccin: A 1.8. Creditos: 4 1.9. Nmero de Rotaciones, veces que se desarrolla la experiencia curricular en el ao/ciclo acadmico: 1 1.10. Duracin por vez de rotacin (Nro. de Semanas/Días): 16 1.11. Extensin horaria: 1.11.1. Total de horas semanales: 6 - Horas Teora: 2 - Horas Prctica: 4 1.11.2. Total de Horas Ao/Semestre: 102 1.12. Organizacin del tiempo Anual/Semestral: Tipo Total Unidad Semana/Día Actividades Hs I II III Aplazado - Sesiones Tericas 32 10 10 12 --- - Sesiones Prcticas 52 16 16 20 --- - Sesiones de Evaluacin 18 4 4 4 6 Total Horas 102 --- --- --- --- 1.13. Prerrequisitos: - Cursos: - METODOLOGIA E INGENIERIA DE SOFTWARE II - Creditos: No necesarios 1.14. Docente(s): 1.14.1. Coordinador(es): Descripcin Nombre Profesin Email Coordinador General Mg. SIFUENTES DIAZ, YENNY MILAGRITOS Ing Computacin y Sistemas ysifuentesd@hotmail.es II. FUNDAMENTACIN Y DESCRIPCIN Las Redes de Petri son una herramienta grfica y matemtica usada en modelamiento, y son tiles para describir y estudiar sistemas de procesamiento de informacin que tengan ciertas caractersticas como sistemas paralelos, concurrentes, no deterministas y asncronos. Posibilitando su representacin matemtica as como la verificacin de las propiedades de los sistemas modelados. III. APRENDIZAJES ESPERADOS Se esperan los siguientes aprendizajes: 1.Conocer las aplicaciones de las Redes de Petri en diversas reas de la ciencia y tambin en aplicaciones comerciales. 2.Explicar los procedimientos fundamentales para especificar formalmente sistemas usando Redes de Petri. 3.Solucionar problemas que tengan que ver con modelamiento usando Redes de Petri. IV. PROGRAMACIN 4.1. UNIDAD 1 4.1.1. Denominacin: Introduccin a las Redes de Petri 4.1.2. Inicio: 2014-08-18 Termino: 2014-09-19 Nmero de Semanas/Das: 5 4.1.3. Objetivos de Aprendizaje *. Comprender los principios fundamentales de las redes de Petri *. Modelar Redes de Petri *. Determinar el rango de aplicaciones de las Redes de Petri 4.1.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D a Actividades y Contenidos Semana/D a 1 Inicio: Pg. 1 Presentacin del curso/ Introduccin a las Redes de Petri. UNIVERSIDAD NACIONAL DE TRUJILLO 2014-08-18 Termino: 2014-08-22 Semana/D a 2 Inicio: 2014-08-25 Termino: 2014-08-29 Representacin de una Red de Petri. Propiedades de los bloques en Redes de Petri Semana/D a 3 Inicio: 2014-09-01 Termino: 2014-09-05 Reglas de ejecucin, Matriz de Incidencia. Semana/D a 4 Inicio: 2014-09-08 Termino: 2014-09-12 Primer Avance de Proyecto de Curso Semana/D a 5 Inicio: 2014-09-15 Termino: 2014-09-19 PRIMER EXAMEN PARCIAL 4.1.5. Evaluacin del Aprendizaje: Semana/D a Tcnica/Instrumento Semana/D a 4 Inicio: 2014-09-08 Termino: 2014-09-12 Valoracin de desempeo en Trabajos Grupales Semana/D a 5 Inicio: 2014-09-15 Termino: 2014-09-19 Evaluacin Escrita Objetiva 4.2. UNIDAD 2 4.2.1. Denominacin: Modelamiento con Redes de Petri y subclases 4.2.2. Inicio: 2014-09-22 Termino: 2014-10-24 Nmero de Semanas/Das: 5 4.2.3. Objetivos de Aprendizaje *. Determinar las caractersticas de las redes elementales. *. Combinar modelos de redes elementales de redes de Petri para la obtencin de redes complejas. *. Aplicar las redes de Petri o sus subclases para la solucin de problemas correspondientes a la Ciencia de la Computacin 4.2.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D a Actividades y Contenidos Semana/D a 6 Inicio: 2014-09-22 Termino: 2014-09-26 Redes de Petri. Subclases Semana/D Pg. 2 Mquinas de Estados UNIVERSIDAD NACIONAL DE TRUJILLO a 7 Inicio: 2014-09-29 Termino: 2014-10-03 Semana/D a 8 Inicio: 2014-10-06 Termino: 2014-10-10 Grafo Marcado y Redes de libre decisin Semana/D a 9 Inicio: 2014-10-13 Termino: 2014-10-17 Segundo Avance de Proyecto de Curso Semana/D a 10 Inicio: 2014-10-20 Termino: 2014-10-24 SEGUNDO EXAMEN PARCIAL 4.2.5. Evaluacin del Aprendizaje: Semana/D a Tcnica/Instrumento Semana/D a 9 Inicio: 2014-10-13 Termino: 2014-10-17 Valoracin de desempeo en Trabajos Grupales Semana/D a 10 Inicio: 2014-10-20 Termino: 2014-10-24 Evaluacin Escrita Objetiva 4.3. UNIDAD 3 4.3.1. Denominacin: Propiedades y Aplicaciones de las Redes de Petri 4.3.2. Inicio: 2014-10-27 Termino: 2014-12-05 Nmero de Semanas/Das: 6 4.3.3. Objetivos de Aprendizaje *. Comprender las propiedades fundamentales de las Redes de Petri. *. Conocer casos de extensin en la aplicacin de las Redes de Petri. 4.3.4. Desarrollo de la Enseanza-Aprendizaje: Semana/D a Actividades y Contenidos Semana/D a 11 Inicio: 2014-10-27 Termino: 2014-10-31 Estudio de Propiedades de las Redes de Petri: Propiedades de Comportamiento Semana/D a 12 Inicio: 2014-11-03 Termino: 2014-11-07 Estudio de Propiedades de las Redes de Petri: Propiedades de Comportamiento Aplicaciones Semana/D Pg. 3 Estudio de Propiedades de las Redes de Petri: Propiedades Estructurales UNIVERSIDAD NACIONAL DE TRUJILLO a 13 Inicio: 2014-11-10 Termino: 2014-11-14 Semana/D a 14 Inicio: 2014-11-17 Termino: 2014-11-21 Estudio de Propiedades de las Redes de Petri: Propiedades Estructurales Aplicaciones Semana/D a 15 Inicio: 2014-11-24 Termino: 2014-11-28 Presentacin Proyecto Final de Curso Semana/D a 16 Inicio: 2014-12-01 Termino: 2014-12-05 TERCER EXAMEN PARCIAL 4.3.5. Evaluacin del Aprendizaje: Semana/D a Tcnica/Instrumento Semana/D a 15 Inicio: 2014-11-24 Termino: 2014-11-28 Valoracin de desempeo en Trabajos Grupales Semana/D a 16 Inicio: 2014-12-01 Termino: 2014-12-05 Evaluacin Escrita Objetiva 4.4. APLAZADO Semana/Da Tcnica/Instrumento Semana/Da 17 Examen de Aplazado, evaluaciones pertimentes del curso. V. NORMAS DE EVALUACIN .1. Base Legal: Reglamento de Normas Generales de Evaluacin del Aprendizaje de los Estudiantes de Pregrado de la Universidad Nacional de Trujillo. .2. Normas especificadas en la Experiencia Curricular: La evaluacin del curso comprende tres exmenes parciales, y el promedio de prcticas. La nota promocional (NP) se define del modo siguiente: NP =( P1U + P2U + P3U )/3 Donde: NP : Nota Promocional P1U: Promedio primera unidad P2U: Promedio segunda unidad P3U: Promedio tercera unidad El promedio de cada unidad es el promedio simple del examen parcial y el promedio de los trabajos y prcticas de la unidad correspondiente. La nota de calificacin est en la escala de 0 a 20. El alumno aprueba el curso si NP ≥ 10.5 Los estudiantes que tengan nota promocional desaprobada rendirn un examen de aplazados. Pg. 4 UNIVERSIDAD NACIONAL DE TRUJILLO El alumno que falte a uno de los exmenes tendr cero (00) de nota. Este sistema de evaluacin no permite la existencia de exmenes y prcticas rezagadas por ningn motivo, salvo justificacin solicitada por escrito ante las autoridades respectivas. La asistencia a clases es obligatoria, ms de 30% de inasistencia inhabilita al alumno a tener promedio final. VI. CONSEJERA/ORIENTACIN Propsitos: Brindar apoyo a los estudiantes para optimizar el aprendizaje en la experiencia curricular Da: lunes Lugar : Departamento de Informtica Horario de 11:00 a.m. 1:00 p.m. VII. BIBLIOGRAFA * REDES DE PETRI MODELIZACION Y APLICACIONES, G. W. BRAMS , MASSON SA, 1986 * Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Kurt Jensen 199 * Redes de Petri: Modelado e implementacin de algoritmos para autmatas programables Murillo, Luis Diego. * Las redes de Petri: en la automtica y la informtica Silva Surez, Manuel, Editorial AC, 1985 * Tutorial HPSIM El presente Silabo de la Experiencia Curricular "MODELAMIENTO DE SISTEMAS CON REDES DE PETRI", ha sido Visado por el Director de la ESCUELA ACADEMICO PROFESIONAL DE INFORMATICA, quien da conformidad al silabo registrado por el docente SIFUENTES DIAZ, YENNY MILAGRITOS que fue designado por el jefe del DEPARTAMENTO ACADEMICO DE INFORMATICA. Pg. 5