| Título : |
Transactions on Petri Nets and Other Models of Concurrency XII |
| Tipo de documento: |
documento electrónico |
| Autores: |
Koutny, Maciej, ; Kleijn, Jetty, ; Penczek, Wojciech, ; Zhang, Mingmin, |
| Mención de edición: |
1 ed. |
| Editorial: |
Berlin [Alemania] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
XVII, 217 p. 89 ilustraciones |
| ISBN/ISSN/DL: |
978-3-662-55862-1 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Ingeniería de software Ciencias de la Computación Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Ciencia de los datos |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Estas Transacciones publican artículos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artículos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: - Versiones revisadas de una selección de los mejores artículos de talleres y tutoriales en las conferencias anuales Petri net e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman "="" ,="" serif;"="">- Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en redes de Petri) - Otros artículos invitados para publicación en ToPNoC - Artículos enviados directamente a ToPNoC por sus autores. mal" style="margin-bottom: 0.0001pt;">El volumen 12 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artículos del taller presentados en la 37ª Conferencia Internacional sobre Aplicación y Teoría de Redes de Petri y Concurrency, Petri Nets 2016 y la 16.ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2016. También contiene un documento enviado directamente a ToPNoC. Los 9 artículos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y síntesis de sistemas; trabajo fundamental sobre clases específicas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: seguridad, composición de servicios, bases de datos, protocolos de comunicación, procesos comerciales y sistemas distribuidos. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. |
| Nota de contenido: |
Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Transactions on Petri Nets and Other Models of Concurrency XII [documento electrónico] / Koutny, Maciej, ; Kleijn, Jetty, ; Penczek, Wojciech, ; Zhang, Mingmin, . - 1 ed. . - Berlin [Alemania] : Springer, 2017 . - XVII, 217 p. 89 ilustraciones. ISBN : 978-3-662-55862-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Ingeniería de software Ciencias de la Computación Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Ciencia de los datos |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Estas Transacciones publican artículos de archivo en el área amplia de las redes de Petri y otros modelos de concurrencia, que van desde trabajos teóricos hasta soporte de herramientas y aplicaciones industriales. Los números de ToPNoC se publican como volúmenes LNCS y, por lo tanto, están ampliamente distribuidos e indexados. Esta Revista cuenta con su propio Consejo Editorial que selecciona los artículos basándose en un riguroso proceso de arbitraje en dos etapas. ToPNoC contiene: - Versiones revisadas de una selección de los mejores artículos de talleres y tutoriales en las conferencias anuales Petri net e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman "="" ,="" serif;"="">- Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en redes de Petri) - Otros artículos invitados para publicación en ToPNoC - Artículos enviados directamente a ToPNoC por sus autores. mal" style="margin-bottom: 0.0001pt;">El volumen 12 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artículos del taller presentados en la 37ª Conferencia Internacional sobre Aplicación y Teoría de Redes de Petri y Concurrency, Petri Nets 2016 y la 16.ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2016. También contiene un documento enviado directamente a ToPNoC. Los 9 artículos cubren una amplia gama de temas que incluyen verificación de modelos y verificación, refinamiento y síntesis de sistemas; trabajo fundamental sobre clases específicas de redes de Petri; y aplicaciones innovadoras de redes de Petri y otros modelos de concurrencia. Las áreas de aplicación cubiertas en este volumen son: seguridad, composición de servicios, bases de datos, protocolos de comunicación, procesos comerciales y sistemas distribuidos. Por lo tanto, este volumen ofrece una buena visión general de la investigación en curso sobre sistemas concurrentes y redes de Petri. |
| Nota de contenido: |
Properties of Plain, Pure, and Safe Petri Nets -- Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery -- Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems -- DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases -- Transition Systems Reduction: Balancing between Precision and Simplicity -- Stubborn Set Intuition Explained -- Decomposed Replay Using Hiding and Reduction as Abstraction -- Multiplicative Transition Systems. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsquedaTransactions on Petri Nets and Other Models of Concurrency XII / Koutny, Maciej ; Kleijn, Jetty ; Penczek, Wojciech ; Zhang, Mingmin
