Joannis Petri Fontanellae ... Decisiones sacri regii senatus Cathaloniae : [Texto impreso] tomus primus ... cum novo repertorio generali ...

Tit. en antep.: Joannis Petri Fontanellae, J.U.D. Decisiones sacri regii Senatus Cathaloniae : in quibus materiae ecclesiasticae non paucae tractantur duobus tomis diuisae. Cum repertorio generali et S. Rotae Romanae decisionibus recentissimis

Ioannis Petri Fontanellae ... Decisiones sacri regii senatus Cathaloniae : [Texto impreso] tomus secundus ...cum nouo repertorio generali materiarum ac rerum notabilium ...

Marca tip. en port

Clarorum Valentinorum Petri Joannis Nunnesii Emanuelis Martini, Gregorii Majansii, Joannis Insulae, aliorumque orationis selectae [Texto impreso]

Marca tip. en port

Petri Ioannis Perpiniani... Societate Iesu Orationes duodeviginti [Texto impreso]

Colof��n

Clementina, hoc est, B. Clementis romani, divorum Petri et Pauli... discipuli et in rom. sede successoris... Opera quae quidem in hunc usque diem a variis auctoribus collecta... [Texto impreso] : cum nova praefatione...

Colof��n

Petri Lombardi episcopi parisien. sententiarum libri IIII: [Texto impreso]

Marca tip. en port

Las Redes de Petri Interpretadas en el Diagn��stico de Fallos de Sistemas H��bridos. Aplicaci��n a un Helic��ptero no Tripulado

La seguridad y fiabilidad de los procesos industriales son la principal preocupaci��n de los ingenieros encargados de las plantas industriales. Por lo tanto, desde un punto de vista econ��mico, el objetivo principal es reducir el costo del mantenimiento, el tiempo de inactividad y las p��rdidas causadas por los fallos. Por otra parte, la seguridad de los operadores, que afecta a los aspectos sociales y econ��micos, es el factor m��s relevante a considerar en cualquier sistema Debido a esto, el diagn��stico de fallos se ha convertido en un foco importante de inter��s para los investigadores de todo el mundo e ingenieros en la industria. Los principales trabajos enfocados en detecci��n de fallos se basan en modelos de los procesos. Existen diferentes t��cnicas para el modelado de procesos industriales tales como m��quinas de estado, ��rboles de decisi��n y Redes de Petri (RdP). Por lo tanto, esta tesis se centra en el modelado de procesos utilizando redes de petri interpretadas. Redes de Petri es una herramienta usada en el modelado gr��fico y matem��tico con la habilidad para describir informaci��n de los sistemas de una manera concurrente, paralela, asincrona, distribuida y no determin��stica o estoc��stica. RdP son tambi��n una herramienta de comunicaci��n visual gr��fica ��til como lo son las cartas de flujo o diagramas de bloques. Adicionalmente, las marcas de las RdP simulan la din��mica y concurrencia de los sistemas. Finalmente, ellas tienen la capacidad de definir ecuaciones de estado espec��ficas, ecuaciones algebraicas y otros modelos que representan el comportamiento com��n de los sistemas. Entre los diferentes tipos de redes de petri (Interpretadas, Coloreadas, etc.), este trabajo de investigaci��n trata con redes de petri interpretadas principalmente debido a caracter��sticas tales como sincronizaci��n, lugares temporizados, aparte de su capacidad para procesamiento de datos. Esta investigaci��n comienza con el proceso para dise��ar y construir el modelo y diagnosticador para detectar fallos definitivos, posteriormente, la din��mica temporal fue adicionada para detectar fallos intermitentes. Dos procesos industriales, concretamente un HVAC (Calefacci��n, Ventilaci��n y Aire Acondicionado) y un Proceso de Envasado de L��quidos fueron usados como banco de pruebas para implementar la herramienta de diagn��stico de fallos (FD) creada. Finalmente, su capacidad de diagn��stico fue ampliada en orden a detectar fallos en sistemas h��bridos. Finalmente, un peque��o helic��ptero no tripulado fue elegido como ejemplo de sistema donde la seguridad es un desaf��o, y las t��cnicas de detecci��n de fallos desarrolladas en esta tesis llevan a ser una herramienta valorada, desde que los accidentes de las aeronaves no tripuladas (UAVs) envuelven un alto costo econ��mico y son la principal raz��n para introducir restricciones de volar sobre ��reas pobladas. As��, este trabajo introduce un proceso sistem��tico para construir un Diagnosticador de Fallos del sistema mencionado basado en RdR Esta novedosa herramienta es capaz de detectar fallos definitivos e intermitentes. El trabajo realizado es discutido desde un punto de vista te��rico y pr��ctico. El procedimiento comienza con la divisi��n del sistema en subsistemas para seguido integrar en una RdP diagnosticadora global que es capaz de monitorear el sistema completo y mostrar las variables cr��ticas al operador en orden a determinar la salud del UAV, para de esta manera prevenir accidentes. Un Sistema de Adquisici��n de Datos (DAQ) ha sido tambi��n dise��ado para recoger datos durante los vuelos y alimentar la RdP diagnosticadora. Vuelos reales realizados bajo condiciones normales y de fallo han sido requeridos para llevar a cabo la configuraci��n del diagnosticador y verificar su comportamiento. Vale la pena se��alar que un alto riesgo fue asumido en la generaci��n de fallos durante los vuelos, a pesar de eso esto permiti�� recoger datos b��sicos para desarrollar el diagn��stico de fallos, t��cnicas de aislamiento, protocolos de mantenimiento, modelos de comportamiento, etc. Finalmente, un resumen de la validaci��n de resultados obtenidos durante las pruebas de vuelo es tambi��n incluido. Un extensivo uso de esta herramienta mejorar�� los protocolos de mantenimiento para UAVs (especialmente helic��pteros) y permite establecer recomendaciones en regulaciones. El uso del diagnosticador usando redes de petri es considerado un novedoso enfoque. ABSTRACT Safety and reliability of industrial processes are the main concern of the engineers in charge of industrial plants. Thus, from an economic point of view, the main goal is to reduce the maintenance downtime cost and the losses caused by failures. Moreover, the safety of the operators, which affects to social and economic aspects, is the most relevant factor to consider in any system. Due to this, fault diagnosis has become a relevant focus of interest for worldwide researchers and engineers in the industry. The main works focused on failure detection are based on models of the processes. There are different techniques for modelling industrial processes such as state machines, decision trees and Petri Nets (PN). Thus, this Thesis is focused on modelling processes by using Interpreted Petri Nets. Petri Nets is a tool used in the graphic and mathematical modelling with ability to describe information of the systems in a concurrent, parallel, asynchronous, distributed and not deterministic or stochastic manner. PNs are also useful graphical visual communication tools as flow chart or block diagram. Additionally, the marks of the PN simulate the dynamics and concurrence of the systems. Finally, they are able to define specific state equations, algebraic equations and other models that represent the common behaviour of systems. Among the different types of PN (Interpreted, Coloured, etc.), this research work deals with the interpreted Petri Nets mainly due to features such as synchronization capabilities, timed places, apart from their capability for processing data. This Research begins with the process for designing and building the model and diagnoser to detect permanent faults, subsequently, the temporal dynamic was added for detecting intermittent faults. Two industrial processes, namely HVAC (Heating, Ventilation and Air Condition) and Liquids Packaging Process were used as testbed for implementing the Fault Diagnosis (FD) tool created. Finally, its diagnostic capability was enhanced in order to detect faults in hybrid systems. Finally, a small unmanned helicopter was chosen as example of system where safety is a challenge and fault detection techniques developed in this Thesis turn out to be a valuable tool since UAVs accidents involve high economic cost and are the main reason for setting restrictions to fly over populated areas. Thus, this work introduces a systematic process for building a Fault Diagnoser of the mentioned system based on Petri Nets. This novel tool is able to detect both intermittent and permanent faults. The work carried out is discussed from theoretical and practical point of view. The procedure begins with a division of the system into subsystems for further integration into a global PN diagnoser that is able to monitor the whole system and show critical variables to the operator in order to determine the UAV health, preventing accidents in this manner. A Data Acquisition System (DAQ) has been also designed for collecting data during the flights and feed PN Diagnoser. Real flights carried out under nominal and failure conditions have been required to perform the diagnoser setup and verify its performance. It is worth noting that a high risk was assumed in the generation of faults during the flights, nevertheless this allowed collecting basic data so as to develop fault diagnosis, isolations techniques, maintenance protocols, behaviour models, etc. Finally, a summary of the validation results obtained during real flight tests is also included. An extensive use of this tool will improve preventive maintenance protocols for UAVs (especially helicopters) and allow establishing recommendations in regulations. The use of the diagnoser by using Petri Nets is considered as novel approach.

Systematic Process for Building a Fault Diagnoser Based on Petri Nets Applied to a Helicopter

This work presents a systematic process for building a Fault Diagnoser (FD), based on Petri Nets (PNs) which has been applied to a small helicopter. This novel tool is able to detect both intermittent and permanent faults. The work carried out is discussed from theoretical and practical point of view. The procedure begins with a division of the whole system into subsystems, which are the devices that have to be modeled by using PN, considering both the normal and fault operations. Subsequently, the models are integrated into a global Petri Net diagnoser (PND) that is able to monitor a whole helicopter and show critical variables to the operator in order to determine the UAV health, preventing accidents in this manner. A Data Acquisition System (DAQ) has been designed for collecting data during the flights and feeding PN diagnoser with them. Several real flights (nominal or under failure) have been carried out to perform the diagnoser setup and verify its performance. A summary of the validation results obtained during real flight tests is also included. An extensive use of this tool will improve preventive maintenance protocols for UAVs (especially helicopters) and allow establishing recommendations in regulations

Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets

An integrated understanding of molecular and developmental biology must consider the large number of molecular species involved and the low concentrations of many species in vivo. Quantitative stochastic models of molecular interaction networks can be expressed as stochastic Petri nets (SPNs), a mathematical formalism developed in computer science. Existing software can be used to define molecular interaction networks as SPNs and solve such models for the probability distributions of molecular species. This approach allows biologists to focus on the content of models and their interpretation, rather than their implementation. The standardized format of SPNs also facilitates the replication, extension, and transfer of models between researchers. A simple chemical system is presented to demonstrate the link between stochastic models of molecular interactions and SPNs. The approach is illustrated with examples of models of genetic and biochemical phenomena where the UltraSAN package is used to present results from numerical analysis and the outcome of simulations.

Modelagem e an��lise das cadeias de suprimentos globais e resilientes baseadas em rede de Petri.

Em um cen��rio de aumento de competitividade, crescente expectativa por inova����es do produto e necessidade de atender diferentes perfis de consumidores, o conceito de gerenciamento de cadeias de suprimentos globais (GSCM) surge como uma estrat��gia para coordenar mais eficazmente as atividades dispersas geograficamente dos sistemas produtivos. Na ado����o do GSCM, as organiza����es devem lidar com rupturas que impactam no gerenciamento das suas atividades, tais como a interrup����o de vias de transporte, pane no fornecimento de energia, desastres naturais e at�� ataques terroristas. Nesse contexto, o trabalho introduz um procedimento sistematizado para modelagem das cadeias de suprimentos visto como um sistema a eventos discretos e sua an��lise por simula����o das atividades do GSCM baseada em t��cnicas formais como a rede de Petri (PN) e o Production Flow Schema (PFS). Um exemplo �� tamb��m apresentado para ilustrar e comprovar as vantagens do m��todo proposto na an��lise do GSCM.

Verificaci��n de extensiones de Redes de Petri con precios, tiempo y m��ltiples instancias

Las redes de Petri son un lenguaje formal muy adecuado para la modelizaci��on, an��alisis y verificaci��on de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad. Sin embargo, en muchas ocasiones las redes de Petri carecen de la expresividad necesaria para representar algunas caracter����sticas fundamentales de los sistemas que se manejan hoy en d����a, como el manejo de tiempo real, costes reales, o la presencia de varios procesos con un n��umero no acotado de estados ejecut��andose en paralelo. En la literatura se han definido y estudiado algunas extensiones de las redes de Petri para la representaci ��on de las caracter����sticas anteriores. Por ejemplo, las ���Redes de Petri Temporizadas��� [83, 10](TPN) incluyen el manejo de tiempo real y las ��-redes de Petri [78](��-PN) son capaces de representar un n��umero no acotado de procesos con infinitos estados ejecut��andose concurrentemente. En esta tesis definimos varias extensiones que re��unen estas dos caracter����sticas y estudiamos sus propiedades de decidibilidad. En primer lugar definimos las �����-Redes de Petri Temporizadas���, que re��unen las caracter����sticas expresivas de las TPN y las ��-PN. Este nuevo modelo es capaz de representar sistemas con un n��umero no acotado de procesos o instancias, donde cada proceso es representado por un nombre diferente, y tiene un n��umero no acotado de relojes reales. En este modelo un reloj de una instancia debe satisfacer ciertas condiciones (pertenecer a un intervalo dado) para formar parte en el disparo de una transici��on. Desafortunadamente, demostramos que la verificaci��on de propiedades de seguridad es indecidible para este modelo...

Extra����o de casos de teste utilizando Redes de Petri hier��rquicas e valida����o de resultados utilizando OWL.

Este trabalho prop��e dois m��todos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hier��rquica e o segundo valida os resultados ap��s a realiza����o dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira t��cnica apresentada consiste de cinco etapas: i) avalia����o do sistema e identifica����o dos m��dulos e entidades separ��veis, ii) levantamento dos estados e transi����es, iii) modelagem do sistema (bottom-up), iv) valida����o do modelo criado avaliando o fluxo de cada funcionalidade e v) extra����o dos casos de teste usando uma das tr��s coberturas de teste apresentada. O segundo m��todo deve ser aplicado ap��s a realiza����o dos testes e possui cinco passos: i) primeiro constr��i-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informa����es significativas sobre as regras de neg��cio da aplica����o, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execu����o �� representado no modelo atrav��s da inser����o das inst��ncias (indiv��duos) presentes; iii) ap��s a execu����o dos casos de testes, a situa����o do modelo deve ser atualizada inserindo (sem apagar as inst��ncias j�� existentes) as inst��ncias que representam a nova situa����o da aplica����o; iv) pr��ximo passo consiste em utilizar um reasoner para fazer as infer��ncias do modelo OWL verificando se o modelo mant��m a consist��ncia, ou seja, se n��o existem erros na aplica����o; v) finalmente, as inst��ncias do status inicial s��o comparadas com as inst��ncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto �� indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma an��lise manual mantendo a mesma cobertura do sistema. A valida����o provou-se condizente com os resultados esperados, bem como o modelo ontol��gico mostrouse bem f��cil e intuitivo para aplicar manuten����es.

Petri Artedi renovati pars I. et II. [III-V] : i.e. bibliotheca et philosophia ichthyologica / cura Iohannis Iulii Walbaumii.

v.1-2