|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Wil van der Aalst , Eike BestPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10258 Dimensions: Width: 15.50cm , Height: 1.90cm , Length: 23.50cm Weight: 5.562kg ISBN: 9783319578606ISBN 10: 331957860 Pages: 351 Publication Date: 05 May 2017 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |