• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Application and Theory of Petri Nets 1992

    13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings

    AvKurt Jensen

    Häftad, Engelska, 1992

    Del i serien Lecture Notes in Computer Science

    563 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This volume contains the proceedings of the 13thInternational Conference onApplication and Theory of PetriNets, held in Sheffield, England, in June 1992.The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Typically, the conferences have 150-200participants, one third of these coming from industry andthe rest from universities and research institutions.The 1992 conference was organized by the School of Computingand Management Sciences at Sheffield City Polytechnic,England.The volume contains twoinvited papers, by G. Balbo and W.Reisig, 18 submitted papers, and seven project papers. Thesubmitted papers and project presentations were selectedbythe programme committee and a panel of referees from a largenumber of submissions.

    Produktinformation

    • Utgivningsdatum:1992-06-10
    • Mått:155 x 233 x 23 mm
    • Vikt:622 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:404
    • Upplaga:1992
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540556763

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • Performance issues in parallel programming.- Combining Petri Nets and other formal methods.- Place bisimulations in Petri nets.- A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets.- Refinement and simulation of nets — a categorical characterisation.- Scheduling hard real time systems using high-level Petri nets.- Towards a modular analysis of coloured Petri nets.- A proof of the Rank Theorem for extended free choice nets.- On the product form solution for Stochastic Petri Nets.- Obtaining deadlock-preserving skeletons for coloured nets.- P-superfairness in nets.- Formal verification of an arbiter cascade.- Constructs for modeling information systems with Petri nets.- Construction of a class of safe Petri nets by presenting firing sequences.- An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets.- Hierarchical solution of generalized Stochastic Petri Nets by means of traffic processes.- Concurrency relations and the safety problem for Petri nets.- High-level nets and linear logic.- Liveness and boundedness analysis for Petri nets with event graph modules.- On weighted T-systems.- Using Petri Nets to develop programs for PLC systems.- Modelling and control of complex logistic systems for manufacturing.- Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool.- Analysis of an Ada system using coloured Petri nets and occurrence graphs.- The stubborn set method in practice.- Modeling fine grain computation via the Fusion of two extended Petri nets.