Desenvolvimento de uma arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Optimizing urban traffic flow using genetic algorithm with petri net analysis as fitness function

This paper describes a new methodology adopted for urban traffic stream optimization. By using Petri net analysis as fitness function of a Genetic Algorithm, an entire urban road network is controlled in real time. With the advent of new technologies that have been published, particularly focusing on communications among vehicles and roads infrastructures, we consider that vehicles can provide their positions and their destinations to a central server so that it is able to calculate the best route for one of them. Our tests concentrate on comparisons between the proposed approach and other algorithms that are currently used for the same purpose, being possible to conclude that our algorithm optimizes traffic in a relevant manner.

Algoritmo para la simulación paralela de redes de petri temporizadas

[ES] Se propone un algoritmo para para paralelizar la simulación de un modelo realizado mediante una red de Petri temporizada con el objeto de disminuir su tiempo de ejecución.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Petri Cunaei de Republica Hebraeorum Libri III

Petrus Cunaeus

Grammatica Ebraea Martinio-Buxtorfiana : Seu Grammatica Petri Martinii Navarri, quam ex accuratissimis aliorum Grammaticis; praecipuè verò Cl. Buxtorfii suisque etiam observationibus Sixtinus Amama Innumeris in locis ita mutavit, correxit & auxit, ut nova meritò Grammatica dici possit.

Teilw. in hebr. Schr.

Grammatica Ebræa Martino-Buxtorfiana. Seu, Grammatica Petri Martinii Navarri, quam ex accuratissimis aliorum Grammaticis, precipue verò Cl. Buxtorfii, suisque etiam observationibus Sixtinvs Amana, Innumeris in locis ita mutavit, correxit & auxit, ut nova meritò Grammatica dici possit. ...

Teilw. in hebr. Schr.

Ms. Praed. 107 - Quaestiones in Sententiarum Petri Lombardi libros quattuor

Vorbesitzer: Dominikanerkloster Frankfurt am Main

Ms. Praed. 20 - Quaestiones in libros Sententiarum Petri Lombardi

Vorbesitzer: Dominikanerkloster Frankfurt am Main

Ms. Praed. 36 - Reportata commentarii in Sententias Petri Lombardi

Vorbesitzer: Jakob Heller; Dominikanerkloster Frankfurt am Main

Ms. Praed. 23 - In primum Sententiarum Petri Lombardi

Vorbesitzer: Dominikanerkloster Frankfurt am Main