{"product_id":"application-and-theory-of-petri-nets-and-concurrency-42nd-international-conference-petri-nets-2021-virtual-event-june-23-25-2021-proceedings-9783030769826","title":"Application and Theory of Petri Nets and Concurrency: 42nd International Conference, Petri Nets 2021, Virtual Event, June 23-25, 2021, Proceedings","description":"\u003cp\u003e • Author(s): Didier Buchs\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Algorithms\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","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284062757015,"sku":"9783030769826","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030769826.webp?v=1769280066","url":"https:\/\/atlanticbooks.com\/products\/application-and-theory-of-petri-nets-and-concurrency-42nd-international-conference-petri-nets-2021-virtual-event-june-23-25-2021-proceedings-9783030769826","provider":"Atlantic Books","version":"1.0","type":"link"}