1.° Anonymi opusculum de memoria artificiali. — 2.° Joannis Jacobi Canis tractatus de eodem argumento. — 3.° Petri de Urbe Veteri libellus de eodem argumento. — 4.° Idem libellus, italico idiomate. — 5.° La memoria artificiale di Tulio. — 6.° Aristotelis ad Alexandrum liber de regimine vitae. — 7.° Rufi Sexti, viri Consularis, historiae Romanae breviarium. — 8.° Francisci Diedi, Legati, defensio pro Republica Veneta. — 9.° Benedicti, ordinis Praedicatorum, oratio in laudem sancti Thomae Aquinatis. — 10.° Bernardi Justiniani oratio pro militia. — 11.° Anonymi opusculum de pedibus metricis.

Mazarinaeus

M. Tullij Ciceronis orationes duodecim selectae, in usum GymnasiorumSocietatis Jesu, quibus accesserunt Compendium Rhetoricae R. P. Cypriani Soarij ... et Lacrymae Sancti Petri R. P. Sidronij Hoschij

UANL

Institutiones philosophicae : ad usum studiosae juventutis, reg. et antiq. ss. aa. Petri et Pauli et s. Ildefonsi Mexic. Collegii iterumtypis mandatae

UANL

Diagoge ferventissimi redemptoris divi Petri Nolasco parentis nostri regalis, ac militaris ordinis beatæ Mariæ de Mercede redemptionis captivorum cælitur electi fundatoris, & patriachæ in tres libros partita et elegiaco carmine concinnata cui divini redem

UANL

Oratio in funere illmi. d.d.d. Petri Espinosa et Davalos

Con : Oración fúnebre pronunciada por el canónigo Florencio Parga en las exequias verificadas en la Santa Iglesia Catedral de Guadalajara, el 28 de febrero de 1876, con motivo de la traslación de los restos mortales de México a esta capital.

Brevis Expositio ad quatuor Petri Lombardi, Parisiensis episcopi et Sententiarum magistri libros

UANL

Using petri nets to specify and execute missions for autonomous underwater vehicles

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

El Director General inaugura simbólicamente en Sancti Petri (Cádiz) 102 nuevas aulas de audición del bachillerato radiofónico.

Se describen los actos de inauguración de las nuevas ciento dos aulas de audición colectiva del Bachillerato Radiofónica promovidas por la Comisaría de Extensión Cultural en Cádiz, Murcia y Tenerife, en las que recibirán formación, por procedimientos radio-auditivos 6000 alumnos. El encargado de presidir dichos actos es el Director General de Enseñanza Media, Profesor González Álvarez, acompañado del Inspector General y Secretario Técnico de la Dirección General, Sr. Del Arco. Se reproduce el discurso del Director General en el que pone de manifiesto su satisfacción al saber que se cubrirán las necesidades de formación de muchos alumnos interesados en completar su instrucción. Seguidamente, se describe la visita de estas autoridades al Instituto Femenino de Cádiz y la posterior inauguración de otras tres Aulas de Audición en la localidad de Alcalá de los Gazules. Culminó su periplo por tierras gaditanas con la visita al Instituto masculino 'Columela' en Cádiz, dónde conversó con los profesores sobre distintos aspectos de la enseñanza.

Economists are not dismal, the world is not a Petri dish and other reasons for optimism

One of the recurrent themes in the debate around how to ensure global food security concerns the capacity of the planet to support its growing population. Neo-Malthusian thinking suggests that we are in a situation in which further expansion of the population cannot be supported and that the population checks, with their dismal consequences envisaged by Malthus, will lead to a new era of stagnant incomes and population. More sophisticated models of the link between population and income are less gloomy however. They see population growth as an integral component of the economic growth which is necessary to ensure that the poorest achieve food security. An undue focus on the difficulties of meeting the demands of the increasing population risks damaging this growth. Instead, attention should be focused on ensuring that the conditions to ensure that economic growth accompanies population growth are in place.

Elementary Petri net inside RFID distributed database (PNRD)

Usually, a Petri net is applied as an RFID model tool. This paper, otherwise, presents another approach to the Petri net concerning RFID systems. This approach, called elementary Petri net inside an RFID distributed database, or PNRD, is the first step to improve RFID and control systems integration, based on a formal data structure to identify and update the product state in real-time process execution, allowing automatic discovery of unexpected events during tag data capture. There are two main features in this approach: to use RFID tags as the object process expected database and last product state identification; and to apply Petri net analysis to automatically update the last product state registry during reader data capture. RFID reader data capture can be viewed, in Petri nets, as a direct analysis of locality for a specific transition that holds in a specific workflow. Following this direction, RFID readers storage Petri net control vector list related to each tag id is expected to be perceived. This paper presents PNRD cornerstones and a PNRD implementation example in software called DEMIS Distributed Environment in Manufacturing Information Systems.

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.