Autor Koutny, Maciej
|
|
Documentos disponibles escritos por este autor (4)
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
Título : Transactions on Petri Nets and Other Models of Concurrency XIV Tipo de documento: documento electrónico Autores: Koutny, Maciej, ; Pomello, Lucia, ; Kristensen, Lars Michael, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 255 p. 525 ilustraciones, 42 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-60651-3 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 Inteligencia artificial Informática Matemáticas discretas Ingeniería de software Software de la aplicacion Comercio electrónico Teoría de la Computación Ciencia de los datos Matemáticas discretas en informática Aplicaciones informáticas y de sistemas de información comercio electrónico y negocios electrónicos Í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 Advances in Petri Nets). Otros artículos invitados a publicarse en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 14 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artículos tutoriales presentados en la 39.ª Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, Petri Nets 2018 y la 18.ª Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2018. Los 10 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: minería de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y síntesis de red. 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: A Tour in Process Mining: From Practice to Algorithmic Challenges -- How Petri Net Theory Serves Petri Net Model Checking: A Survey -- Parametric Verification: An Introduction -- Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Formal Modelling and Incremental Verification of the MQTT IoT Protocol -- Kleene Theorems for Free Choice Automata over Distributed Alphabets -- Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach -- Evaluating Conformance Measures in Process Mining Using Conformance Propositions -- Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. 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 XIV [documento electrónico] / Koutny, Maciej, ; Pomello, Lucia, ; Kristensen, Lars Michael, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - XVII, 255 p. 525 ilustraciones, 42 ilustraciones en color.
ISBN : 978-3-662-60651-3
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 Inteligencia artificial Informática Matemáticas discretas Ingeniería de software Software de la aplicacion Comercio electrónico Teoría de la Computación Ciencia de los datos Matemáticas discretas en informática Aplicaciones informáticas y de sistemas de información comercio electrónico y negocios electrónicos Í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 Advances in Petri Nets). Otros artículos invitados a publicarse en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 14 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artículos tutoriales presentados en la 39.ª Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, Petri Nets 2018 y la 18.ª Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2018. Los 10 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: minería de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y síntesis de red. 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: A Tour in Process Mining: From Practice to Algorithmic Challenges -- How Petri Net Theory Serves Petri Net Model Checking: A Survey -- Parametric Verification: An Introduction -- Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Formal Modelling and Incremental Verification of the MQTT IoT Protocol -- Kleene Theorems for Free Choice Automata over Distributed Alphabets -- Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach -- Evaluating Conformance Measures in Process Mining Using Conformance Propositions -- Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. 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 XV Tipo de documento: documento electrónico Autores: Koutny, Maciej, ; Kordon, Fabrice, ; Pomello, Lucia, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 185 p. 91 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-63079-2 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 Estructuras de datos (Informática) Teoría de la información Informática Matemáticas discretas Ingeniería de software Ingeniería Informática Red de computadoras Teoría de la Computación Estructuras de datos y teoría de la información Matemáticas discretas en informática Ingeniería Informática y Redes Í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 Net. Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets). Otros artículos invitados para publicación en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 15 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artículos tutoriales presentados en la 40.a Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, Petri Nets 2019 y la 19.a Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2019. Los 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: minería de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y síntesis de red. 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: A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement -- Extensible Structural Analysis of Petri Net Product Lines -- Stability of Regional Orthomodular Posets under Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two-Player Asynchronous Game on Fully Observable Petri Nets -- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. 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 XV [documento electrónico] / Koutny, Maciej, ; Kordon, Fabrice, ; Pomello, Lucia, . - 1 ed. . - Berlin [Alemania] : Springer, 2021 . - XVII, 185 p. 91 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-662-63079-2
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 Estructuras de datos (Informática) Teoría de la información Informática Matemáticas discretas Ingeniería de software Ingeniería Informática Red de computadoras Teoría de la Computación Estructuras de datos y teoría de la información Matemáticas discretas en informática Ingeniería Informática y Redes Í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 Net. Secciones/temas especiales dentro de subáreas particulares (similares a los publicados en la serie Avances en Petri Nets). Otros artículos invitados para publicación en ToPNoC Papers. enviado directamente a ToPNoC por sus autores El volumen 15 de ToPNoC contiene versiones revisadas y ampliadas de una selección de los mejores talleres y artículos tutoriales presentados en la 40.a Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, Petri Nets 2019 y la 19.a Conferencia internacional sobre la aplicación de la concurrencia al diseño de sistemas, ACSD 2019. Los 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: minería de procesos, verificación, semántica formal, protocolos de comunicación, procesos comerciales, sistemas distribuidos y síntesis de red. 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: A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement -- Extensible Structural Analysis of Petri Net Product Lines -- Stability of Regional Orthomodular Posets under Synchronisation and Refinement -- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond -- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs -- A Two-Player Asynchronous Game on Fully Observable Petri Nets -- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach -- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. 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
