{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-xvi-9783662653029","title":"Transactions on Petri Nets and Other Models of Concurrency XVI","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eToPNoC 16 contains revised and extended versions of papers from Petri Nets 2020 and ACSD 2020, covering model checking, system verification, and innovative applications in process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 141 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 20 April 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThe 16th volume of ToPNoC, a prestigious publication dedicated to advancing the field of Petri nets and concurrency, presents a captivating collection of revised and extended versions of the finest workshop and tutorial papers presented at two significant conferences: the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020) and the 20th International Conference on Application of Concurrency to System Design (ACSD 2020). These papers span a wide array of topics, encompassing model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency.\u003cbr\u003e\u003cbr\u003eThis volume offers a comprehensive overview of the current state-of-the-art research in the field of concurrent systems and Petri nets. It explores diverse application areas such as process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Each paper in this collection contributes valuable insights and advancements, pushing the boundaries of knowledge and paving the way for future developments.\u003cbr\u003e\u003cbr\u003eThe editors of ToPNoC have done an exceptional job in curating and organizing this remarkable volume, ensuring that it remains a valuable resource for researchers, practitioners, and students alike. The contributions from esteemed scholars and experts in the field make it a must-read for anyone interested in exploring the intricate world of Petri nets and concurrency.\u003cbr\u003e\u003cbr\u003eWhether you are a seasoned professional or just starting your journey into this field, the 16th volume of ToPNoC provides an excellent platform to expand your understanding and explore new horizons. It serves as a testament to the ongoing dedication and commitment of the Petri nets community to advancing the state of the art and driving innovation in concurrent systems.\u003cbr\u003e\u003cbr\u003eSo, take a moment to immerse yourself in this captivating collection of papers, and let the insights and knowledge shared within these pages inspire your own research and endeavors in the world of Petri nets and concurrency.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 256g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783662653029\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44103403602170,"sku":"9783662653029","price":68.31,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1662154624963_book.jpg?v=1662312796","url":"https:\/\/shulphink.com\/products\/transactions-on-petri-nets-and-other-models-of-concurrency-xvi-9783662653029","provider":"Shulph Ink","version":"1.0","type":"link"}