Análisis del rendimiento académico del alumnado de último curso de ingeniería mediante nuevas tecnologías en el proceso de enseñanza‐aprendizaje

En el marco del Espacio Europeo de Educación Superior los estudios deben de estar orientados a facilitar la movilidad de los futuros egresados para que su inclusión en mundo laboral sea global y en este contexto, los sistemas educativos deben introducir cambios en el proceso de enseñanza – aprendizaje y en la gestión. Como uno de los elementos básicos de la creación del EEES es el aprendizaje a lo largo de la vida, se deben adoptar metodologías que doten al estudiante de capacidades para poder enfrentarse a todos los retos de la vida laboral. A través de la presente investigación se trata de aportar una visión real de la aplicación efectiva de un modelo de Aprendizaje Basado en Problemas y el Método del Caso acompañados de una fuerte Acción Tutorial y el uso de la Tecnología de la Información y Comunicación en la Universidad (TIC). Se considera asimismo de gran interés para la mejora del aprendizaje conocer cuál es la opinión real de los estudiantes universitarios, ya que son los principales implicados en relación a un modelo formativo apoyado en el Aprendizaje Basado en Problemas, el Método del Caso, la Acción Tutorial y utilización de las TIC. A través de este estudio se pretende comprobar y valorar cual es la visión real que los alumnos tienen de estas aplicaciones y como las utilizan. Para ello durante los últimos cursos se ha trabajado con alumnos de los últimos cursos de la Escuela Técnica Superior de Ingeniería Civil de la Universidad Politécnica de Madrid aplicando técnicas de Aprendizaje Basado en Problemas y el Método del Caso conjuntamente con la utilización de un Modelo de Acción Tutorial y el uso de la TIC. La tarea se ha centrado en desarrollar, a lo largo de los cursos 2009-10, 2010-11, 2011-12 y 2013-14, un modelo de Acción Tutorial con los alumnos matriculados en las asignaturas de Caminos I, Caminos II, Aforos y Ordenación del Tráfico, asignaturas de la titulación de Ingeniería Técnica de Obras Públicas, y por otro lado, en la asignatura de Caminos, perteneciente a la titulación de Ingeniería Civil. Mediante cuestionarios al inicio y final del curso, se ha conocido cuál es la opinión que poseen los alumnos sobre esta acción. A continuación, durante los cursos 2010-11, 2011-12 y 2013-14 se desarrolla un modelo experimental para evaluar las mejoras, tanto de rendimiento como de adquisición de competencias, utilizando el Aprendizaje Basado en Problemas y el Método del Caso acompañados de las TIC en el proceso de enseñanza–aprendizaje como modelo de Acción Tutorial con alumnos. ABSTRACT Abstract In the frame of the European Higher Education Area, the studies must be faced to facilitate mobility of future graduates for inclusion in the workplace is global and in this context, educational systems must introduce changes in the process of education-learning and management. Since one of the basic elements of the creation of the EHEA is learning throughout life, there must be adopted methodologies that provide the student of aptitudes to be able to face all the challenges of the labor life. Through this research it is provided a real vision of the effective application of a Model of Learning Based on Problems and the Case Method accompanied by a strong Tutorial Action and the use of ITC in the University. It is also considered of great interest for the improvement of learning to know what the real opinion of the college students is, as they are the main players in relation in a training model based on Problem-Based Learning, the Case Method, the Tutorial Action and Use of ICT. Through this study it is expected to verify and assess which is the real vision that students have about these applications and how they use them. In order to achieve the goal of this research project, during the last three years I have been working with students of last courses of the Civil Engineering School of the Technical University of Madrid applying with them techniques of Problem-Based Learning and the Case Method together with the use of a Model Action Tutorial and the Use of Information Technology and Communication (ICT). The task has focused on developing, over the 2009-10, 2010-11, 2011-12 and 2013-14 courses, a model of Tutorial Action with students enrolled in the subjects of Roads I, Roads II, Traffic Gauging and Traffic Management, all of them of the old degree in Civil Engineering (1971 Study Plan), and secondly, on the subject of Roads which belong to the current degree of Civil Engineering. Using questionnaires at the beginning and end of the course the perception that students have on this action.. Then, during the 2010-11, 2011-12 and 2013-14 courses an experimental model is developed to evaluate improvements in both performance and skills acquisition, using Problem-Based Learning and the Case Method together with the ICT in Teaching-Learning Pprocess as a model of Tutorial Action with students.

Especificaciones eMathTeacher, creación del Modelo Granular Lingüístico de la evaluación del aprendizaje humano, y diseño de sistemas que implementan estos conceptos

El concepto de algoritmo es básico en informática, por lo que es crucial que los alumnos profundicen en él desde el inicio de su formación. Por tanto, contar con una herramienta que guíe a los estudiantes en su aprendizaje puede suponer una gran ayuda en su formación. La mayoría de los autores coinciden en que, para determinar la eficacia de una herramienta de visualización de algoritmos, es esencial cómo se utiliza. Así, los estudiantes que participan activamente en la visualización superan claramente a los que la contemplan de forma pasiva. Por ello, pensamos que uno de los mejores ejercicios para un alumno consiste en simular la ejecución del algoritmo que desea aprender mediante el uso de una herramienta de visualización, i. e. consiste en realizar una simulación visual de dicho algoritmo. La primera parte de esta tesis presenta los resultados de una profunda investigación sobre las características que debe reunir una herramienta de ayuda al aprendizaje de algoritmos y conceptos matemáticos para optimizar su efectividad: el conjunto de especificaciones eMathTeacher, además de un entorno de aprendizaje que integra herramientas que las cumplen: GRAPHs. Hemos estudiado cuáles son las cualidades esenciales para potenciar la eficacia de un sistema e-learning de este tipo. Esto nos ha llevado a la definición del concepto eMathTeacher, que se ha materializado en el conjunto de especificaciones eMathTeacher. Una herramienta e-learning cumple las especificaciones eMathTeacher si actúa como un profesor virtual de matemáticas, i. e. si es una herramienta de autoevaluación que ayuda a los alumnos a aprender de forma activa y autónoma conceptos o algoritmos matemáticos, corrigiendo sus errores y proporcionando pistas para encontrar la respuesta correcta, pero sin dársela explícitamente. En estas herramientas, la simulación del algoritmo no continúa hasta que el usuario introduce la respuesta correcta. Para poder reunir en un único entorno una colección de herramientas que cumplan las especificaciones eMathTeacher hemos creado GRAPHs, un entorno ampliable, basado en simulación visual, diseñado para el aprendizaje activo e independiente de los algoritmos de grafos y creado para que en él se integren simuladores de diferentes algoritmos. Además de las opciones de creación y edición del grafo y la visualización de los cambios producidos en él durante la simulación, el entorno incluye corrección paso a paso, animación del pseudocódigo del algoritmo, preguntas emergentes, manejo de las estructuras de datos del algoritmo y creación de un log de interacción en XML. Otro problema que nos planteamos en este trabajo, por su importancia en el proceso de aprendizaje, es el de la evaluación formativa. El uso de ciertos entornos e-learning genera gran cantidad de datos que deben ser interpretados para llegar a una evaluación que no se limite a un recuento de errores. Esto incluye el establecimiento de relaciones entre los datos disponibles y la generación de descripciones lingüísticas que informen al alumno sobre la evolución de su aprendizaje. Hasta ahora sólo un experto humano era capaz de hacer este tipo de evaluación. Nuestro objetivo ha sido crear un modelo computacional que simule el razonamiento del profesor y genere un informe sobre la evolución del aprendizaje que especifique el nivel de logro de cada uno de los objetivos definidos por el profesor. Como resultado del trabajo realizado, la segunda parte de esta tesis presenta el modelo granular lingüístico de la evaluación del aprendizaje, capaz de modelizar la evaluación y generar automáticamente informes de evaluación formativa. Este modelo es una particularización del modelo granular lingüístico de un fenómeno (GLMP), en cuyo desarrollo y formalización colaboramos, basado en la lógica borrosa y en la teoría computacional de las percepciones. Esta técnica, que utiliza sistemas de inferencia basados en reglas lingüísticas y es capaz de implementar criterios de evaluación complejos, se ha aplicado a dos casos: la evaluación, basada en criterios, de logs de interacción generados por GRAPHs y de cuestionarios de Moodle. Como consecuencia, se han implementado, probado y utilizado en el aula sistemas expertos que evalúan ambos tipos de ejercicios. Además de la calificación numérica, los sistemas generan informes de evaluación, en lenguaje natural, sobre los niveles de competencia alcanzados, usando sólo datos objetivos de respuestas correctas e incorrectas. Además, se han desarrollado dos aplicaciones capaces de ser configuradas para implementar los sistemas expertos mencionados. Una procesa los archivos producidos por GRAPHs y la otra, integrable en Moodle, evalúa basándose en los resultados de los cuestionarios. ABSTRACT The concept of algorithm is one of the core subjects in computer science. It is extremely important, then, for students to get a good grasp of this concept from the very start of their training. In this respect, having a tool that helps and shepherds students through the process of learning this concept can make a huge difference to their instruction. Much has been written about how helpful algorithm visualization tools can be. Most authors agree that the most important part of the learning process is how students use the visualization tool. Learners who are actively involved in visualization consistently outperform other learners who view the algorithms passively. Therefore we think that one of the best exercises to learn an algorithm is for the user to simulate the algorithm execution while using a visualization tool, thus performing a visual algorithm simulation. The first part of this thesis presents the eMathTeacher set of requirements together with an eMathTeacher-compliant tool called GRAPHs. For some years, we have been developing a theory about what the key features of an effective e-learning system for teaching mathematical concepts and algorithms are. This led to the definition of eMathTeacher concept, which has materialized in the eMathTeacher set of requirements. An e-learning tool is eMathTeacher compliant if it works as a virtual math trainer. In other words, it has to be an on-line self-assessment tool that helps students to actively and autonomously learn math concepts or algorithms, correcting their mistakes and providing them with clues to find the right answer. In an eMathTeacher-compliant tool, algorithm simulation does not continue until the user enters the correct answer. GRAPHs is an extendible environment designed for active and independent visual simulation-based learning of graph algorithms, set up to integrate tools to help the user simulate the execution of different algorithms. Apart from the options of creating and editing the graph, and visualizing the changes made to the graph during simulation, the environment also includes step-by-step correction, algorithm pseudo-code animation, pop-up questions, data structure handling and XML-based interaction log creation features. On the other hand, assessment is a key part of any learning process. Through the use of e-learning environments huge amounts of data can be output about this process. Nevertheless, this information has to be interpreted and represented in a practical way to arrive at a sound assessment that is not confined to merely counting mistakes. This includes establishing relationships between the available data and also providing instructive linguistic descriptions about learning evolution. Additionally, formative assessment should specify the level of attainment of the learning goals defined by the instructor. Till now, only human experts were capable of making such assessments. While facing this problem, our goal has been to create a computational model that simulates the instructor’s reasoning and generates an enlightening learning evolution report in natural language. The second part of this thesis presents the granular linguistic model of learning assessment to model the assessment of the learning process and implement the automated generation of a formative assessment report. The model is a particularization of the granular linguistic model of a phenomenon (GLMP) paradigm, based on fuzzy logic and the computational theory of perceptions, to the assessment phenomenon. This technique, useful for implementing complex assessment criteria using inference systems based on linguistic rules, has been applied to two particular cases: the assessment of the interaction logs generated by GRAPHs and the criterion-based assessment of Moodle quizzes. As a consequence, several expert systems to assess different algorithm simulations and Moodle quizzes have been implemented, tested and used in the classroom. Apart from the grade, the designed expert systems also generate natural language progress reports on the achieved proficiency level, based exclusively on the objective data gathered from correct and incorrect responses. In addition, two applications, capable of being configured to implement the expert systems, have been developed. One is geared up to process the files output by GRAPHs and the other one is a Moodle plug-in set up to perform the assessment based on the quizzes results.

Diseña tu propia aula

En este Trabajo Fin de Máster se propone una aplicación de la metodología de Aprendizaje Basado en Proyectos en 3º de E.S.O. La solicitud, por parte de los alumnos, de innovar en el aula y los recursos de los que hoy en día disponemos, son la mayor motivación para diseñar los más variados Proyectos que puedan enriquecer la educación en valores y el aprendizaje de procedimientos, aspectos clave en el desarrollo profesional de nuestros alumnos. En el Proyecto “Diseña tu propia aula” se invita a los alumnos a crear un Estudio de Arquitectura con el objetivo de rediseñar su espacio de trabajo. Aplicando criterios sostenibles, mejorarán la eficiencia energética del aula y crearán un espacio más responsable con el Medio Ambiente. La implementación de los contenidos, competencias y criterios de evaluación a través de este proyecto promete ser un verdadero reto, tanto para docentes, como para los alumnos. ¿Estamos preparados? This Master’s Thesis applies Project Based Learning methodologies within third-year secondary education classrooms, particularly those of 3° E.S.O. Motivated by the demand from modern pupils for new innovation in the classroom and by the new resources available for use therein, this thesis proposes to design a project which enriches and improves the education of the student in both ethics and technical methods, key aspects of the student’s professional development. The “Design your own classroom” project invites pupils to create their own architecture studio within the classroom by challenging them to redesign their workplace through the application of sustainable design criteria in order to create a workspace that is more environmentally responsible. The inclusion of content, skills and evaluation criteria in this project present a real challenge both for the teacher and for the pupil. Are we ready?

The neural development and organization of letter recognition: Evidence from functional neuroimaging, computational modeling, and behavioral studies

Although much of the brain’s functional organization is genetically predetermined, it appears that some noninnate functions can come to depend on dedicated and segregated neural tissue. In this paper, we describe a series of experiments that have investigated the neural development and organization of one such noninnate function: letter recognition. Functional neuroimaging demonstrates that letter and digit recognition depend on different neural substrates in some literate adults. How could the processing of two stimulus categories that are distinguished solely by cultural conventions become segregated in the brain? One possibility is that correlation-based learning in the brain leads to a spatial organization in cortex that reflects the temporal and spatial clustering of letters with letters in the environment. Simulations confirm that environmental co-occurrence does indeed lead to spatial localization in a neural network that uses correlation-based learning. Furthermore, behavioral studies confirm one critical prediction of this co-occurrence hypothesis, namely, that subjects exposed to a visual environment in which letters and digits occur together rather than separately (postal workers who process letters and digits together in Canadian postal codes) do indeed show less behavioral evidence for segregated letter and digit processing.

Parent-Child Interaction and Children's Self-Concept

This study is designed to investigate the relationships between marital communication, the quality of parents' ability to assist their children in joint problem-solving, and children's independent mastery attempts and perceived competence at problem-solving, and behavioral indicators of self-esteem. Couples' skill at regulating their own and their children's negative affect within the marital and parent-child family subsystems is hypothesized to predict the quality of their assistance, or scaffolding behavior, to their children during joint problem-solving. Further, the quality of parental scaffolding behavior is expected to predict children's independent mastery attempts, levels of perceived competence at problemsolving, and behavioral indicators of self-esteem. Families for the study will be those with children between 3 1/2 to six years of age recruited from subjects participating in a longitudinal study of communication in marriage being conducted at the Denver Center for Marital and Family Studies. Families will participate in three interaction tasks designed to tap parental scaffolding behavior during problemsolving with their children. Children will be administered self-report measures to tap their perceived competence at such problem-solving as those in the interaction tasks and parents will complete a questionnaire tapping the behavioral indicators of their child's self-esteem. Family interaction data will be coded with the use of a microanalytic coding system developed by this study, the Parent-Child Interaction Coding System. Marital communication data at three time points, premaritally, during the transition to parenthood , and concurrently, will be obtained from couples' interactions from the longitudinal study. The clinical significance of this study includes implications for training couples how to effectively regulate negative affect and offer their children sensitive assistance during joint problem-solving.

Emoções desencadeadas no contexto de um projeto interdisciplinar no ensino de ciências

O desenvolvimento do pensamento e do conhecimento humano esteve vinculado, por muitos séculos a uma visão dual do Homem enquanto corpo/mente, matéria/espírito, razão/emoção, cognição/afeto. Com o surgimento de novas concepções teóricas especialmente a abordagem histórico-social de Vigotski, fundamentada em determinantes culturais, históricos e sociais da condição humana, foi possível uma nova releitura das dimensões cognitiva e emocional, na direção de uma interpretação monista do ser Humano. No entanto, mesmo diante desta interpretação integral do indivíduo, ainda persiste em larga escala no ensino, particularmente no ensino de Ciências, a tradicional busca do desenvolvimento da racionalidade e da lógica em detrimento à dimensão afetivoemocional. Este trabalho de pesquisa pretende focar especial atenção na dimensão afetivo-emocional nas relações estabelecidas em sala de aula quando um projeto de abordagem interdisciplinar é implementado. A pesquisa foi desenvolvida com uma turma do terceiro ano do Ensino Médio constituída de 22 alunos, de uma escola privada localizada em uma cidade do interior do Estado de São Paulo. Os resultados refletem a existência de conflitos emocionais significativos entre os alunos, merecendo, portanto, um planejamento docente que permita ações de gestão dessas emoções no contexto do processo de ensino e de aprendizagem.

Facilitating cross-organisational workflows with a workflow view approach

Interconnecting business processes across systems and organisations is considered to provide significant benefits, such as greater process transparency, higher degrees of integration, facilitation of communication, and consequently higher throughput in a given time interval. However, to achieve these benefits requires tackling constraints. In the context of this paper these are privacy-requirements of the involved workflows and their mutual dependencies. Workflow views are a promising conceptional approach to address the issue of privacy; however this approach requires addressing the issue of interdependencies between workflow view and adjacent private workflow. In this paper we focus on three aspects concerning the support for execution of cross-organisational workflows that have been modelled with a workflow view approach: (i) communication between the entities of a view-based workflow model, (ii) their impact on an extended workflow engine, and (iii) the design of a cross-organisational workflow architecture (CWA). We consider communication aspects in terms of state dependencies and control flow dependencies. We propose to tightly couple private workflow and workflow view with state dependencies, whilst to loosely couple workflow views with control flow dependencies. We introduce a Petri-Net-based state transition approach that binds states of private workflow tasks to their adjacent workflow view-task. On the basis of these communication aspects we develop a CWA for view-based cross-organisational workflow execution. Its concepts are valid for mediated and unmediated interactions and express no choice of a particular technology. The concepts are demonstrated by a scenario, run by two extended workflow management systems. (C) 2004 Elsevier B.V. All rights reserved.

Objective and behavioural assessment of the emergence from post-traumatic amnesia (PTA)

Primary objective: To determine the profile of resolution of typical PTA behaviours and describe new learning and improvements in self-care during PTA. Research design: Prospective longitudinal study monitoring PTA status, functional learning and behaviours on a daily basis. Methods and procedures: Participants were 69 inpatients with traumatic brain injury who were in PTA. PTA was assessed using the Westmead or Oxford PTA assessments. Functional learning capability was assessed using a routine set of daily tasks and behaviour was assessed using an observational checklist. Data was analysed using descriptive statistics. Main outcomes and results: Challenging behaviours that are typically associated with PTA, such as agitation, aggression and wandering resolved in the early stages of PTA and incidence rates of these behaviours were less than 20%. Independence in self-care and bowel and bladder continence emerged later during resolution of PTA. New learning in functional situations was demonstrated by patients in PTA. Conclusions: It is feasible to begin active rehabilitation focused on functional skills-based learning with patients in the later stages of PTA. Formal assessment of typically observed behaviours during PTA may complement memory-based PTA assessments in determining emergence from PTA.

Balancing curriculum processes and content in a project centred curriculum - In pursuit of graduate attributes

Chemical engineering education is challenged around the world by demands and rapid changes encompassing a wide range of technical and social drivers. Graduates must be prepared for practice in increasingly diverse workplace environments in which generic or transferable attributes such as communication and teamwork together with technical excellence are mandated by prospective employers and society at large. If academe is to successfully deliver on these graduate attributes, effective curriculum design needs to include appropriate educational processes as well as course content. Conventional teacher centred approaches, stand-alone courses and retro-fitted remedial modules have not delivered the desired outcomes. Development of the broader spectrum of attributes is more likely when students are engaged with realistic and relevant experiences that demand the integration and practice of these attributes in contexts that the students find meaningful. This paper describes and evaluates The University of Queensland's Project Centred Curriculum in Chemical Engineering (PCC), a programme-wide approach to meeting these requirements. PCC strategically integrates project-based learning with more traditional instruction. Data collected shows improved levels of student attainment of generic skills with institutional and nationally benchmarked indicators showing significant increases in student perceptions of teaching quality, and overall satisfaction with the undergraduate experience. Endorsements from Australian academic, professional and industry bodies also support the approach as more effectively aligning engineering education with professional practice requirements.

Approaches to training practitioners in the art and science of plant disease diagnosis

Allowing plant pathology students to tackle fictitious or real crop problems during the course of their formal training not only teaches them the diagnostic process, but also provides for a better understanding of disease etiology. Such a problem-solving approach can also engage, motivate, and enthuse students about plant pathologgy in general. This paper presents examples of three problem-based approaches to diagnostic training utilizing freely available software. The first provides an adventure-game simulation where Students are asked to provide a diagnosis and recommendation after exploring a hypothetical scenario or case. Guidance is given oil how to create these scenarios. The second approach involves students creating their own scenarios. The third uses a diagnostic template combined with reporting software to both guide and capture students' results and reflections during a real diagnostic assignment.

A community leadership web site project: Sustainability and other issues

This paper reports on an ongoing partnership between Queensland University of Technology and Volunteering Queensland regarding the development and revision of a website for community leaders. The website, designed in late 2003, was established to provide a range of learning activities for community leaders including a problem based learning activity, case studies of community leaders and a range of resources deemed significant for leaders in the community. To date, anecdotal evidence as well as some more hard evidence (i.e. number of visits to the site), indicates that the site appears to be a valuable resource for community leaders. The purpose of this paper was firstly to investigate the utility of the site and secondly to consider some bigger issues concerning its sustainability. To achieve this, the paper explores the perceptions of (i) a group of community leaders regarding the strengths and weaknesses of the site; and (ii) key stakeholders (from QUT and Volunteering Queensland) who participated in a focus group discussion to consider important issues relating to its management and sustainability. Themes emerging from the two groups are provided and implications for small scale partnership projects such as this one are discussed.

Sharing Narratives Online: An international, self-organising curriculum in rural health

The aim of the Rural Medicine Rotation (RMR) at the University of Queensland (UQ) is to give all third year medical students exposure to and an understanding of, clinical practice in Australian rural or remote locations. A difficulty in achieving this is the relatively short period of student clinical placements, in only one or two rural or remote locations. A web-based Clinical Discussion Board (CDB) has been introduced to address this problem by allowing students at various rural sites to discuss their rural experiences and clinical issues with each other. The rationale is to encourage an understanding of the breadth and depth of rural medicine through peer-based learning. Students are required to submit a minimum of four contributions over the course of their six week rural placement. Analysis of student usage patterns shows that the majority of students exceeded the minimum submission criteria indicating motivation rather than compulsion to contribute to the CDB. There is clear evidence that contributing or responding to the CDB develops studentâ??s critical thinking skills by giving and receiving assistance from peers, challenging attitudes and beliefs and stimulating reflective thought. This is particularly evident in regard to issues involving ethics or clinical uncertainty, subject areas that are not in the medical undergraduate curriculum, yet are integral to real-world medical practice. The CDB has proved to be a successful way to understand the concerns and interests of third year medical students immersed in their RMR and also in demonstrating how technology can help address the challenge of supporting students across large geographical areas. We have recently broadened this approach by including students from the Rural Program at The Ohio State University College of Medicine. This important international exchange of ideas and approaches to learning is expected to broaden clinical training content and improve understanding of rural issues.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.