{"product_id":"application-and-theory-of-petri-nets-and-concurrency-42nd-international-conference-petri-nets-2021-virtual-event-june-23-25-2021-proceedings-paperback","title":"Application and Theory of Petri Nets and Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings - Paperback","description":"\u003cp\u003eby \u003cb\u003eDidier Buchs\u003c\/b\u003e (Editor), \u003cb\u003eJosep Carmona\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003eThis book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.\u003c\/p\u003e\u003cp\u003eThe 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.\u003c\/p\u003e\u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 487\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 1.01 x 9.21 x 6.14 IN\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e May 21, 2021\u003c\/div\u003e","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":42099699974279,"sku":"9783030769826","price":89.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0601\/2623\/2711\/files\/9457b5b573151abdf5c3bac5ee3d0832.webp?v=1732376752","url":"https:\/\/booksby.splitshops.com\/products\/application-and-theory-of-petri-nets-and-concurrency-42nd-international-conference-petri-nets-2021-virtual-event-june-23-25-2021-proceedings-paperback","provider":"Books by splitShops","version":"1.0","type":"link"}