Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

Finding best urban routes based on analyses of high level and IOPT Petri net models

This paper presents a tool that combines two kinds of Petri Net analyses to set the fastest routes to one vehicle in a bounded area of traffic urban. The first analysis consists of the discovery of possible routes in a state space generated from an IOPT Petri net model given the initial marking as the vehicle position. The second analysis receives the routes found in the first analysis and calculates the state equations at incidence matrix created from the High Level Petri net model to define the fastest route for each vehicle that arrive in the roads. It was considered the exchange of information between vehicle and infrastructure (V2I) to get the position and speed of all vehicles and support the analyses. With the results obtained we conclude that is possible optimizing the urban traffic flow if this tool is applied to all vehicles in a bounded urban traffic. © 2012 IEEE.

Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm

This paper presents an application to traffic lights control in congested urban traffic, in real time, taking as input the position and route of the vehicles in the involved areas. This data is obtained from the communication between vehicles and infrastructure (V2I). Due to the great complexity of the possible combination of traffic lights and the short time to get a response, Genetic Algorithm was used to optimize this control. According to test results, the application can reduce the number of vehicles in congested areas, even with the entry of vehicles that previously were not being considered in these roads, such as parked vehicles. © 2012 IEEE.

Determination of 2-methylimidazole and 4-methylimidazole in caramel colors by capillary electrophoresis

The use of chemical preservative compounds is common in the food products industry. Caramel color is the most usual additive used in beverages, desserts, and breads worldwide. During its fabrication process, 2- and 4-methylimidazole (MeI), highly carcinogenic compounds, are generated. In these cases, the development of reliable analytical methods for the monitoring of undesirable compounds is necessary. The primary procedure for the analysis of 2- and 4-MeI is using LC- or GC-MS techniques. These procedures are time-consuming and require large amounts of organic solvents and several pretreatment steps. This prevents the routine use of this procedure. This paper describes a rapid, efficient, and simple method using capillary electrophoresis (CE) for the separation and determination of 2- and 4-MeI in caramel colors. The analyses were performed using a 75 μm i.d. uncoated fused-silica capillary with an effective length of 40 cm and a running electrolyte consisting of 160 mmol L-1 phosphate plus 30% acetonitrile. The pH was adjusted to 2.5 with triethylamine. The analytes were separated within 6 min at a voltage of 20 kV. Method validation revealed good repeatability of both migration time (<0.8% RSD) and peak area (<2% RSD). Analytical curves for 2- and 4-MeI were linear in the 0.4-40 mg L-1 concentration interval. Detection limits were 0.16 mg L-1 for 4-MeI and 0.22 mg L-1 for 2-MeI. The extraction recoveries were satisfactory. The developed method showed many advantages when compared to the previously used method. © 2013 American Chemical Society.

Ferramentas para a integração de redes de Petri e VHDL na síntese de sistemas digitais

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

Comparação de técnicas de redes de Petri na descrição de um pipeline

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

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.

Violence against children and adolescents: the importance of knowledge of the spectrum of bruise colors in its diagnosis

Introduction: One of the violence types more observed against children is the physical abuse, which produces many types of traumatic injuries. Contusions are common trauma signs and may indicate aggression when frequently present in locations where accidental injuries are rare. Contusions in skin undergo color changes with the passage of time, and such change in color is called “spectrum of bruise colors of Legrand du Saulle”. Thus, it is possible to estimate the age of the lesion based on the evaluation of color. Injuries caused by child abuse often reach regions of head, face and neck, because they are exposed and easily accessible. Therefore, the dentist is responsible with regard to the diagnosis and the actions to be undertaken against the cases of child abuse. Objective: To present and discuss the significance of the spectrum of bruise colors as a considerable visible trace in suspicion of violence against children and adolescents, during dentists’ clinical routine. Literature review: The study of the “spectrum of bruise colors of Legrand du Saulle” refers to the estimation of the age of the injury, in respect to the color change. The application of this study is of great value for identify if a lesion occurred from a single incident or from multiple incidents, especially in cases where it occurs in the same region of the body, indicative of repetitive trauma. Conclusion: The spectrum of bruise colors is very important for health professionals, such as dentists, for the identification or suspicion of cases of abuse against children and adolescents. As great part of the lesions originated of abuse involve the areas of head and neck, it is unacceptable that these professionals are unaware of the basic signs to help in early diagnosis, which is the case of the colors of the lesions. However, concerning the chronology of the spectrum of bruise colors, it is not possible to establish rigorous times.

THE INFRARED COLORS OF THE SUN

Solar infrared colors provide powerful constraints on the stellar effective temperature scale, but they must be measured with both accuracy and precision in order to do so. We fulfill this requirement by using line-depth ratios to derive in a model-independent way the infrared colors of the Sun, and we use the latter to test the zero point of the Casagrande et al. effective temperature scale, confirming its accuracy. Solar colors in the widely used Two Micron All Sky Survey (2MASS) JHK(s) and WISE W1-4 systems are provided: (V - J)(circle dot) = 1.198, (V - H)(circle dot) = 1.484, (V - K-s)(circle dot) = 1.560, (J - H)(circle dot) = 0.286, (J - K-s)(circle dot) = 0.362, (H - K-s)(circle dot) = 0.076, (V - W1)(circle dot) = 1.608, (V - W2)(circle dot) = 1.563, (V - W3)(circle dot) = 1.552, and (V - W4)(circle dot) = 1.604. A cross-check of the effective temperatures derived implementing 2MASS or WISE magnitudes in the infrared flux method confirms that the absolute calibration of the two systems agrees within the errors, possibly suggesting a 1% offset between the two, thus validating extant near-and mid-infrared absolute calibrations. While 2MASS magnitudes are usually well suited to derive T-eff, we find that a number of bright, solar-like stars exhibit anomalous WISE colors. In most cases, this effect is spurious and can be attributed to lower-quality measurements, although for a couple of objects (3%+/- 2% of the total sample) it might be real, and may hint at the presence of warm/hot debris disks.

THE UBV(RI)(C) COLORS OF THE SUN

Photometric data in the UBV(RI)(C) system have been acquired for 80 solar analog stars for which we have previously derived highly precise atmospheric parameters T-eff, log g, and [Fe/H] using high-resolution, high signal-to-noise ratio spectra. UBV and (RI)(C) data for 46 and 76 of these stars, respectively, are published for the first time. Combining our data with those from the literature, colors in the UBV(RI) C system, with similar or equal to 0.01 mag precision, are now available for 112 solar analogs. Multiple linear regression is used to derive the solar colors from these photometric data and the spectroscopically derived T-eff, log g, and [Fe/H] values. To minimize the impact of systematic errors in the model-dependent atmospheric parameters, we use only the data for the 10 stars that most closely resemble our Sun, i.e., the solar twins, and derive the following solar colors: (B - V)(circle dot) = 0.653 +/- 0.005, (U - B)(circle dot) = 0.166 +/- 0.022, (V - R)(circle dot) = 0.352 +/- 0.007, and (V - I)(circle dot) = 0.702 +/- 0.010. These colors are consistent, within the 1 sigma errors, with those derived using the entire sample of 112 solar analogs. We also derive the solar colors using the relation between spectral-line-depth ratios and observed stellar colors, i.e., with a completely model-independent approach, and without restricting the analysis to solar twins. We find (B - V)(circle dot) = 0.653 +/- 0.003, (U - B)(circle dot) = 0.158 +/- 0.009, (V - R)(circle dot) = 0.356 +/- 0.003, and (V - I)(circle dot) = 0.701 +/- 0.003, in excellent agreement with the model-dependent analysis.

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.