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
