Event structures for Petri nets with persistence

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ási...

ver descrição completa

Detalhes bibliográficos
Autores: Baldan, Paolo, Bruni, Roberto Hector, Corradini, Andrea, Gadducci, Fabio, Melgratti, Hernan Claudio, Montanari, Ugo
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2018
País:Argentina
Recursos:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/102944
Acesso em linha:http://hdl.handle.net/11336/102944
Access Level:acceso abierto
Palavra-chave:Petri Nets
Persistence
Event Structures
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
id AR_a55e596c0d4ec2efda7957c23b0583a5
oai_identifier_str oai:ri.conicet.gov.ar:11336/102944
network_acronym_str AR
network_name_str Argentina
repository_id_str
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
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
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
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
topic Petri Nets
Persistence
Event Structures
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
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
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
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_ 1799194924988497920
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écnicas2024-05-08T13:39:15Zoai: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:34982024-05-08 13:39:15.684CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
score 15,811543

Registos relacionados