{"product_id":"9783540557678","title":"Lecture Notes in Computer Science","description":"\u003ch1\u003eLecture Notes in Computer Science\u003c\/h1\u003e \u003ch2\u003eVogler, Walter\u003c\/h2\u003e \u003cp\u003ePetri 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-07-22\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540557678\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-55767-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 256\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370077118604,"sku":"9783540557678","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540557678.jpg?v=1773969958","url":"https:\/\/lateknightbooks.com\/products\/9783540557678","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}