Autor Pomello, Lucia
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsquedaTransactions on Petri Nets and Other Models of Concurrency XIV / Koutny, Maciej ; Pomello, Lucia ; Kristensen, Lars Michael
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
