{"product_id":"advances-in-petri-nets-1985-von-grzegorz-rozenberg-hrsg","title":"Advances in Petri Nets 1985","description":"\u003cp\u003eThe signing of a contract ¿ a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C\/E systems.- Synchronic distances in C\/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker like resource allocation Problems.- Coordination technology and Petri nets.- Pascal semantics by a combination of denotational semantics and high-level petri nets.- On the invariants of coloured Petri Nets.- A logical formalism for the study of the finite behaviour of Petri nets.- Determination of a poset by its co-relation.- Some equivalence notions for concurrent systems. An overview.- Towards a comprehensive office model integrating information and resources.- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.- Protocol analysis using Numerical Petri Nets.- Petri nets, morphisms and compositionality.- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540164807\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540164807","offer_id":39433148727389,"sku":"9783540164807","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c44bf951-18ea-42b2-8f19-3159b6b4a8b8.jpg?v=1773555085","url":"https:\/\/shop.autorenwelt.de\/en\/products\/advances-in-petri-nets-1985-von-grzegorz-rozenberg-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}