Mostrar el registro sencillo del ítem
dc.contributor.author
Baldan, Paolo
dc.contributor.author
Bruni, Roberto Hector
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Corradini, Andrea
dc.contributor.author
Gadducci, Fabio
dc.contributor.author
Melgratti, Hernan Claudio
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Montanari, Ugo
dc.date.available
2020-04-17T18:17:13Z
dc.date.issued
2018-09
dc.identifier.citation
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
dc.identifier.issn
1860-5974
dc.identifier.uri
http://hdl.handle.net/11336/102944
dc.description.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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Tech Univ Braunschweig
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
Petri Nets
dc.subject
Persistence
dc.subject
Event Structures
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Event structures for Petri nets with persistence
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2019-12-16T19:15:01Z
dc.journal.volume
14
dc.journal.number
3
dc.journal.pagination
1-30
dc.journal.pais
Alemania
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Brunswick
dc.description.fil
Fil: Baldan, Paolo. Università di Padova; Italia
dc.description.fil
Fil: Bruni, Roberto Hector. Università degli Studi di Pisa; Italia
dc.description.fil
Fil: Corradini, Andrea. Università degli Studi di Pisa; Italia
dc.description.fil
Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia
dc.description.fil
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
dc.description.fil
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia
dc.journal.title
Logical Methods in Computer Science
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.23638/LMCS-14(3:25)2018
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://arxiv.org/abs/1802.03726v2
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://lmcs.episciences.org/4857
Archivos asociados