{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-xviii-fabrice-kordon-ebook","title":"Transactions on Petri Nets and Other Models of Concurrency XVIII","description":"\u003cp\u003eLectures.- Modeling Distributed Systems and Processes with Petri Nets - the Big Picture.- Essentials of Petri nets.- Semantics of Concurrent Systems.- From Behaviour to Nets via Regions.- The Reachability Problem in Petri Nets: Decidability and Hardness.- Model Checking Timed and Strategic Properties.- Analysis and Synthesis of Some Subclasses of Petri Nets.- Practicals Design Decisions in Process Discovery and the Inductive Miner Framework.- Extracting and Pre-Processing Event Logs.- Application of Coloured Petri Nets for Modelling the Software Architecture of the SmartOcean Data Service Platform.- A Gentle Tour Through A Petri Net Model Checking Tool.\u003c\/p\u003e","brand":"Fabrice Kordon","offers":[{"title":"Default Title","offer_id":54386804064583,"sku":"9783662733059","price":80.24,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/transactions-on-petri-nets-and-other-models-of-con-ebook-cover.webp?v=1784497950","url":"https:\/\/www.cinebuch.de\/products\/transactions-on-petri-nets-and-other-models-of-concurrency-xviii-fabrice-kordon-ebook","provider":"CineBuch","version":"1.0","type":"link"}