Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design

"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"

Interfaz de usuario para un simulador de redes de Petri coloreadas

Aquest projecte presenta el desenvolupament d'una interficie d'usuari que permet visualitzar i interpretar, en forma de text o en forma gràfica, els resultats de la simulació de models de Xarxes de Petri Acolorides (XPAs). L'estudi de les solucions obtingudes mitjançant la simulació de models de XPAs, permetrà analitzar i evaluar tant el comportament com el rendiment del sistema modelat. La interficie ha estat programada en Visual C++.

Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización

Este proyecto presenta el desarrollo de una aplicación que permite traducir Redes de Petri Coloreadas diseñadas en CPN Tools a un lenguaje para la generación de ficheros de entrada a un simulador/optimizador de Redes de Petri Coloreadas. De esta manera se podrán optimizar modelos creados en CPN Tools ya que esta herramienta no facilita la optimización. Todo el proyecto se ha realizado en C++.

Magistri Petri Rogerii, Prioris sancti Baudilii, qui fuit postea Clemens Papa VI.lectura super Decretalem Joannis Papae XXII. Quia quorumdam mentes.

Baluzianus

1.° Petri de Herentals, Canonici Praemonstratensis et Prioris Floreffiensis, chronicon ab orbe condito ad annum Christi 1385. — 2.° Anonymi chronica de translatione Imperii ad Germanos. — 3.° Bulla aurea Caroli IV. — 4.° Leges promulgatae in curia Metensi, per Carolum IV. Imperatorem, anno Domini 1356. — 5.° Forma coronationis Imperatoris et de benedictione et coronatione Imperatricis. — 6.° Gesta Romanorum Pontificum, à Cleto Papa ad annum Christi 1379. — 7.° Decretum donationis Constantini Magni de patrimonio ecclesiae : initium desideratur.

Colbertinus

1.° Jacobi Alexandri le Taneur disputatio physico-mathematica de aequabili motus acceleratione, et de motu telluris : in qua Galilaei decreta de motu gravium perpendiculariter cadentium confirmantur ; et ostenditur vulgarem seu Ptolemaïcam de motu solis opinionem non minùs esse contrariam sacris litteris, quam Copernicanam de motu terrae : ac proinde nihil certi ex iis, quoad illam quaestionem, posse deduci : ad Petrum Cazraeum, societatis Jesu. — 2.° Ejusdem epistolae duae ad eundem, de descensu gravium. — 3.° Petri Cazraei, societatis Jesu, ad Alexandrum le Taneur epistola, qua sententiam Galilaei de descensu gravium impugnat. — 4.° Lettre de monsieur le Taneur au Pere Mersenne, Minime, sur la chûte des corps. — 5.° Ejusdem ad eundem epistola contra Fabrianam de incremento motus accelerati opinionem.

Melchisedechi Thevenotii

1.° Commentarius in librum nonum Almanzoris. — 2.° Arnaldi de Villanova areolae, sive tractatus de simplicibus. — 3.° Petri de Ebano tractatus de venenis. — 4.° Henrici de Amondavilla practica chirurgiae. — 5.° Guidonis de Cauliaco collectorium chirurgicum.

Mazarinaeus

1.° M. T. Ciceronis rhetoricorum ad Herennium libri quatuor. — 2.° Joannis Boni Andreae, civis Bononiensis, ars dictaminis. — 3.° Joannis Candidi, Secretarii Imperialis, liber artis novae epistolarum. — 4.° Forma appellationis Raymundi de Oppeda, Sistarciensis Episcopi. — 5.° Ars memoriae secundùm Aristotelem et S. Thomam de Aquino. — 6.° Tractatus de baculo Jacob : authore anonymo. — 7.° Exordia secundùm Cassiodorum, de pace facienda inter Imperatorem et Regem. — 8.° Petri Blesensis epistolae nonnullae. — 9.° Guidonis de Columna historiae Trojanae libri decem priores.

Colbertinus

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

1.° Summa dictaminis, sive summa epistolandi, libris decem : authore Thoma de Capua, Diacono Cardinali. — 2.° Magistri Petri de Vineis epistolae.

Colbertinus