{"product_id":"modular-construction-and-partial-order-semantics-of-petri-nets-von-walter-vogler","title":"Modular Construction and Partial Order Semantics of Petri Nets","description":"Petri nets are a well-known model for parallel systems, used\nfor both       applications and theoretical studies. They can be\nused for specification,   modelling, and analysis, and offer a\ngraphical representation and a clear   view of concurrency.\nFor the design of large systems, modular construction  is\nindispensible, and considerable effort has been spent on\nstudying themodular construction of Petri nets.\nThis book studies the modular           construction of nets, and in\nparticular the top-down design of nets by      action refinement.\nSuitable behavior descriptions are presented and         special\ncare is taken to justify these descriptions by showing that\ntheyare necessary under reasonable specification\nrequirements. In particular, itis shown that partial-order\nsemantics is necessary to support action        refinement.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540557678\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540557678","offer_id":39437411811421,"sku":"9783540557678","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3b328dab-05f1-4d21-a63c-6119bf6679e2.jpg?v=1773554592","url":"https:\/\/shop.autorenwelt.de\/en\/products\/modular-construction-and-partial-order-semantics-of-petri-nets-von-walter-vogler","provider":"Autorenwelt Shop","version":"1.0","type":"link"}