{"product_id":"advances-in-petri-nets-1984-von-g-rozenberg-hrsg","title":"Advances in Petri Nets 1984","description":"\u003cp\u003ePSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate\/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates\/transitions-nets.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540152040\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540152040","offer_id":39434006659165,"sku":"9783540152040","price":50.28,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a7606600-c518-4632-9aa3-6885252815f6.jpg?v=1773554390","url":"https:\/\/shop.autorenwelt.de\/en\/products\/advances-in-petri-nets-1984-von-g-rozenberg-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}