Event structures for Petri nets with persistence

Autores
Baldan, Paolo; Bruni, Roberto Hector; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan Claudio; Montanari, Ugo
Año de publicación
2018
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Baldan, Paolo. Università di Padova; Italia
Fil: Bruni, Roberto Hector. Università degli Studi di Pisa; Italia
Fil: Corradini, Andrea. Università degli Studi di Pisa; Italia
Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; Argentina
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia
Materia
Petri Nets
Persistence
Event Structures
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/102944
Acceder
id CONICETDig_a55e596c0d4ec2efda7957c23b0583a5
oai_identifier_str oai:ri.conicet.gov.ar:11336/102944
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Event structures for Petri nets with persistenceBaldan, PaoloBruni, Roberto HectorCorradini, AndreaGadducci, FabioMelgratti, Hernan ClaudioMontanari, UgoPetri NetsPersistenceEvent Structureshttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Las 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.Fil: Baldan, Paolo. Università di Padova; ItaliaFil: Bruni, Roberto Hector. Università degli Studi di Pisa; ItaliaFil: Corradini, Andrea. Università degli Studi di Pisa; ItaliaFil: Gadducci, Fabio. Università degli Studi di Pisa; ItaliaFil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; ArgentinaFil: Montanari, Ugo. Università degli Studi di Pisa; ItaliaTech Univ Braunschweig2018-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/102944Baldan, Paolo; Bruni, Roberto Hector; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan Claudio; et al.; Event structures for Petri nets with persistence; Tech Univ Braunschweig; Logical Methods in Computer Science; 14; 3; 9-2018; 1-301860-5974CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.23638/LMCS-14(3:25)2018info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1802.03726v2info:eu-repo/semantics/altIdentifier/url/https://lmcs.episciences.org/4857info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-10T13:04:02Zoai:ri.conicet.gov.ar:11336/102944instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-10 13:04:02.38CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Event structures for Petri nets with persistence
title Event structures for Petri nets with persistence
spellingShingle Event structures for Petri nets with persistence
Baldan, Paolo
Petri Nets
Persistence
Event Structures
title_short Event structures for Petri nets with persistence
title_full Event structures for Petri nets with persistence
title_fullStr Event structures for Petri nets with persistence
title_full_unstemmed Event structures for Petri nets with persistence
title_sort Event structures for Petri nets with persistence
dc.creator.none.fl_str_mv Baldan, Paolo
Bruni, Roberto Hector
Corradini, Andrea
Gadducci, Fabio
Melgratti, Hernan Claudio
Montanari, Ugo
author Baldan, Paolo
author_facet Baldan, Paolo
Bruni, Roberto Hector
Corradini, Andrea
Gadducci, Fabio
Melgratti, Hernan Claudio
Montanari, Ugo
author_role author
author2 Bruni, Roberto Hector
Corradini, Andrea
Gadducci, Fabio
Melgratti, Hernan Claudio
Montanari, Ugo
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Petri Nets
Persistence
Event Structures
topic Petri Nets
Persistence
Event Structures
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Baldan, Paolo. Università di Padova; Italia
Fil: Bruni, Roberto Hector. Università degli Studi di Pisa; Italia
Fil: Corradini, Andrea. Università degli Studi di Pisa; Italia
Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; Argentina
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/102944
Baldan, Paolo; Bruni, Roberto Hector; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan Claudio; et al.; Event structures for Petri nets with persistence; Tech Univ Braunschweig; Logical Methods in Computer Science; 14; 3; 9-2018; 1-30
1860-5974
CONICET Digital
CONICET
url http://hdl.handle.net/11336/102944
identifier_str_mv Baldan, Paolo; Bruni, Roberto Hector; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan Claudio; et al.; Event structures for Petri nets with persistence; Tech Univ Braunschweig; Logical Methods in Computer Science; 14; 3; 9-2018; 1-30
1860-5974
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.23638/LMCS-14(3:25)2018
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1802.03726v2
info:eu-repo/semantics/altIdentifier/url/https://lmcs.episciences.org/4857
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Tech Univ Braunschweig
publisher.none.fl_str_mv Tech Univ Braunschweig
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842980123928690688
score 12.993085

Publicaciones similares