Application and Theory of Petri Nets and Concurrency: [electronic resource] :: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /: edited by Wil van der Aalst, Eike Best.

van der Aalst, Wil.; Best, Eike.

doi:10.1007/978-3-319-57861-3

Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.

van der Aalst, Wil. editor.; Best, Eike. editor.

2017

QA76.63

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.

ISBN

9783319578613
3319578618
9783319578606

DOI

https://doi.org/10.1007/978-3-319-57861-3

Published

Cham : Springer International Publishing : Imprint: Springer, 2017.

Language

English

Description

1 online resource (xiv, 351 pages) : illustrations.

Item Number

10.1007/978-3-319-57861-3 doi

Call Number

QA76.63

Dewey Decimal Classification

511.3/5

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.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Added Author

van der Aalst, Wil. editor.
Best, Eike. editor.

Series

Lecture notes in computer science ; 10258.

Available in Other Form

Print version: 9783319578606

Linked Resources

Online Access