Autor Penczek, Wojciech
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaTransactions on Petri Nets and Other Models of Concurrency XII / Koutny, Maciej ; Kleijn, Jetty ; Penczek, Wojciech ; Zhang, Mingmin
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
Título : Transactions on Petri Nets and Other Models of Concurrency XIII Tipo de documento: documento electrónico Autores: Koutny, Maciej, ; Kristensen, Lars Michael, ; Penczek, Wojciech, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XVII, 211 p. 69 ilustraciones, 30 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-58381-4 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: Ciencias de la Computación Informática Matemáticas discretas Inteligencia artificial Ingeniería de Transporte Ingeniería de tráfico Procesamiento de datos Sistemas operativos (computadoras) Teoría de la Computación Matemáticas discretas en informática Ciencia de los datos Tecnología del Transporte e Ingeniería de Tráfico Minería de datos y descubrimiento de conocimientos Sistemas operativos Índice Dewey: 40.151 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 de Petri Nets - Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets) - Otros artículos invitados a publicación en ToPNoC: artículos enviados directamente a ToPNoC por sus autores El volumen 13 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artículos de taller presentados en la 38.ª Conferencia Internacional sobre Aplicación y Teoría de Redes de Petri y Concurrencia, Redes de Petri 2017 y la 17ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2017. Los 9 artículos cubren una amplia gama de temas que incluyen la verificación de modelos y la verificación, el refinamiento y la 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: tolerancia a fallas, 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: Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest. 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 XIII [documento electrónico] / Koutny, Maciej, ; Kristensen, Lars Michael, ; Penczek, Wojciech, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XVII, 211 p. 69 ilustraciones, 30 ilustraciones en color.
ISBN : 978-3-662-58381-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Informática Matemáticas discretas Inteligencia artificial Ingeniería de Transporte Ingeniería de tráfico Procesamiento de datos Sistemas operativos (computadoras) Teoría de la Computación Matemáticas discretas en informática Ciencia de los datos Tecnología del Transporte e Ingeniería de Tráfico Minería de datos y descubrimiento de conocimientos Sistemas operativos Índice Dewey: 40.151 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 de Petri Nets - Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets) - Otros artículos invitados a publicación en ToPNoC: artículos enviados directamente a ToPNoC por sus autores El volumen 13 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores artículos de taller presentados en la 38.ª Conferencia Internacional sobre Aplicación y Teoría de Redes de Petri y Concurrencia, Redes de Petri 2017 y la 17ª Conferencia Internacional sobre la Aplicación de la Concurrencia al Diseño de Sistemas, ACSD 2017. Los 9 artículos cubren una amplia gama de temas que incluyen la verificación de modelos y la verificación, el refinamiento y la 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: tolerancia a fallas, 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: Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 - The Seventh Model Checking Contest. 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
