Ebook > Sciences > Computer Science > Application Software > Wil van der Aalst & Eike Best: Application and Theory of Petri Nets and Concurrency (ePUB)

Wil van der Aalst & Eike Best
Application and Theory of Petri Nets and Concurrency
38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

Support

Cover of Wil van der Aalst & Eike Best: Application and Theory of Petri Nets and Concurrency (ePUB)

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.

€56.51

Language English ● Format EPUB ● ISBN 9783319578613 ● Editor Wil van der Aalst & Eike Best ● Publisher Springer International Publishing ● Published 2017 ● Downloadable 3 times ● Currency EUR ● ID 6210531 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Wil van der Aalst Eike Best

16,112 Ebooks in this category

Cover of Amanda Baker & Hayley Horn: Databricks ML in Action

Amanda Baker & Hayley Horn: Databricks ML in Action

<p><b>Get to grips with autogenerating code, deploying ML algorithms, and leveraging various ML lifecycle features on the Databricks Platform, guided by best practices and reusable code …

Cover of Preston Zhang: Practical Guide to Large Database Migration

Preston Zhang: Practical Guide to Large Database Migration

It is a major challenge to migrate very large databases from one system, say for example, to transfer critical data from Oracle to SQL Server. One has to consider several issues such as loss of data …

Cover of Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Matthew John Yee-King: Build AI-Enhanced Audio Plugins with C++

Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python, …

Cover of John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

John Ilgenfritz & Merle Ilgenfritz: VMware Certified Professional Test Prep

Written by VM-certified instructors with years of professional and teaching experience, VMware Certified Professional Test Prep is the ultimate guide to the VCP exam. Its organized and highly practic …

Cover of Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

Peter F. Linington & Zoran Milosevic: Building Enterprise Systems with ODP

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a …

Cover of Amit Kumar Tyagi: Data Science and Data Analytics

Amit Kumar Tyagi: Data Science and Data Analytics

Data science is a multi-disciplinary field that uses scientific methods, processes, algorithms, and systems to extract knowledge and insights from structured (labeled) and unstructured (unlabeled) da …

Cover of Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

Aakanksha (NIT Raipur) Sharaff & G R (International Institute of Information Technology Bangalore, India) Sinha: Data Science and Its Applications

The term ‘data’ being mostly used, experimented, analyzed, and researched, ‘ Data Science and its Applications ‘ finds relevance in all domains of research studies including science, engineering, tec …

Cover of Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Sini Raj Pulari & Shriram K Vasudevan: Deep Learning

Deep Learning: A Comprehensive Guide provides comprehensive coverage of Deep Learning (DL) and Machine Learning (ML) concepts. DL and ML are the most sought-after domains, requiring a deep understand …

Cover of John Asatryan & Vardan Grigoryan: Expert C++

John Asatryan & Vardan Grigoryan: Expert C++

<p><b>Take your C++ skills to the next level with expert insights on advanced techniques, design patterns, and high-performance programming Purchase of the print or Kindle book includes a …

Cover of Partha Kuchana: Software Architecture Design Patterns in Java

Partha Kuchana: Software Architecture Design Patterns in Java

<P>Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high …