38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / van der Aalst, Wil ; Best, Eike  

Público ISBD Ningún comentario para este título. Título : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings Tipo de documento: documento electrónico Autores: van der Aalst, Wil, ; Best, Eike, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 351 p. 136 ilustraciones ISBN/ISSN/DL: 978-3-319-57861-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Ingeniería de software  Simulación por ordenador  Teoría de las máquinas  Inteligencia artificial  Lógica informática y fundamentos de la programación  Modelado por computadora  Lenguajes formales y teoría de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, PETRI NETS 2017, celebrada en Zaragoza, España, en junio de 2017. Petri Nets 2017 se ubica junto con la Conferencia sobre Aplicación de la Concurrencia al Diseño de Sistemas. , ACSD 2017. Los 16 artículos, 9 artículos teóricos, 4 artículos de aplicación y 3 artículos de herramientas, con 1 resumen breve y 3 resúmenes extendidos de charlas invitadas presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. El enfoque de la conferencia se centra en los siguientes temas: Simulación de redes de Petri coloreadas, Herramientas de redes de Petri: verificación de modelos, vivacidad y opacidad, redes de Petri estocásticas, clases de redes específicas y redes de Petri para rutas. Nota de contenido: Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [documento electrónico] / van der Aalst, Wil, ; Best, Eike,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XIV, 351 p. 136 ilustraciones. ISBN : 978-3-319-57861-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ciencias de la Computación  Ingeniería de software  Simulación por ordenador  Teoría de las máquinas  Inteligencia artificial  Lógica informática y fundamentos de la programación  Modelado por computadora  Lenguajes formales y teoría de los autómatas Clasificación: 40.151 Resumen: Este libro constituye las actas de la 38.ª Conferencia Internacional sobre Aplicación y Teoría de las Redes de Petri y la Concurrencia, PETRI NETS 2017, celebrada en Zaragoza, España, en junio de 2017. Petri Nets 2017 se ubica junto con la Conferencia sobre Aplicación de la Concurrencia al Diseño de Sistemas. , ACSD 2017. Los 16 artículos, 9 artículos teóricos, 4 artículos de aplicación y 3 artículos de herramientas, con 1 resumen breve y 3 resúmenes extendidos de charlas invitadas presentados juntos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. El enfoque de la conferencia se centra en los siguientes temas: Simulación de redes de Petri coloreadas, Herramientas de redes de Petri: verificación de modelos, vivacidad y opacidad, redes de Petri estocásticas, clases de redes específicas y redes de Petri para rutas. Nota de contenido: Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200