Event structures for Petri nets with persistence

Abstract

Las estructuras de eventos son un modelo de concurrencia bien aceptado. En un artículo seminal de Nielsen, Plotkin y Winskel, se utilizan para establecer un puente entre la teoría de los dominios y el enfoque de concurrencia propuesto por Petri. Una construcción en desarrollo desempeña un papel básico que mapea las redes de Petri (seguras) en una subclase de estructuras de eventos, llamadas estructuras de eventos principales, donde cada evento tiene un conjunto de causas determinado de manera única. Las estructuras de eventos principales, a su vez, pueden identificarse con su dominio de configuraciones. A nivel categórico, Winskel lo formaliza muy bien como una cadena de funciones centrales. Contrariamente a las estructuras de eventos principales, las estructuras de eventos generales permiten la presencia de causas disyuntivas, es decir, los eventos pueden ser habilitados por distintos conjuntos mínimos de eventos. En este papel, Extendemos la conexión entre las redes de Petri y las estructuras de eventos para incluir causas disyuntivas. En particular, mostramos que, a nivel de redes, las causas disyuntivas están bien explicadas por los lugares persistentes. Estos son lugares donde los tokens, una vez generados, se pueden usar varias veces sin ser consumidos y donde se interpretan múltiples tokens colectivamente, es decir, sus historias no son esenciales. Generalizando el trabajo en redes ordinarias, las redes de Petri con persistencia están relacionadas con una nueva subclase de estructuras de eventos generales, llamadas localmente conectadas, por medio de una cadena de funciones centrales que se basan en una construcción en desarrollo. se puede usar varias veces sin ser consumido y donde múltiples tokens se interpretan colectivamente, es decir, sus historias no son esenciales. Generalizando el trabajo en redes ordinarias, las redes de Petri con persistencia están relacionadas con una nueva subclase de estructuras de eventos generales, llamadas localmente conectadas, por medio de una cadena de funciones centrales que se basan en una construcción en desarrollo. se puede usar varias veces sin ser consumido y donde múltiples tokens se interpretan colectivamente, es decir, sus historias no son esenciales. Generalizando el trabajo en redes ordinarias, las redes de Petri con persistencia están relacionadas con una nueva subclase de estructuras de eventos generales, llamadas localmente conectadas, por medio de una cadena de funciones centrales que se basan en una construcción en desarrollo.