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