• 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% studentrabatt med kod TERM26

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

    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. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Lectures on Concurrency and Petri Nets

      Advances in Petri Nets

      AvJörg Desel,Wolfgang Reisig

      Häftad, Engelska, 2004

      Del i serien Lecture Notes in Computer Science

      1 092 kr

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

      Beskrivning

      The very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his seminal Ph.D. thesis in 1964. Petri nets has remained a central model for concurrentsystemsfor40 years,andthey areoften usedasa yardstick for other models of concurrency. As a matter of fact, many other models have been developed since then, and this research area is ?ourishing today. The goal of the 4th Advanced Course on Petri Nets held in Eichsta ..tt, Germany in September 2003 was to present applications and the theory of Petri Nets in the context of a whole range of other models. We believe that in this way the participants of the course received a broad and in-depth picture of research in concurrent and distributed systems. It is also the goal of this volume to convey this picture. The volume is based on lectures given at the Advanced Course, but in order to provide a balanced p- sentation of the ?eld, some of the lectures are not included, and some material not presented in Eichst. att is covered here. In particular, a series of introductory lectures was not included in this volume, as the material they covered is well - tablishedby now,andwellpresentedelsewhere (e.g.,inW.ReisigandG. Roz- berg, eds., "Lectures on Petri Nets," LNCS 1491, 1492, Springer-Verlag, 1997 - these two volumes are based on the 3rd Advanced Course on Petri Nets).

      Produktinformation

      • Utgivningsdatum:2004-06-14
      • Mått:155 x 235 x 46 mm
      • Vikt:1 282 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:852
      • Upplaga:2004
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540222613

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik

      Innehållsförteckning

      • Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.
      Hoppa över listan

      Du kanske också är intresserad av

      Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Häftad

      Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986

      Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

      Häftad, 1987

      566 kr

      Herbert Weber, Grzegorz Rozenberg, Wolfgang Reisig, Hartmut Ehrig - Petri Net Technology for Communication-Based Systems, E-bok

      Petri Net Technology for Communication-Based Systems

      Herbert Weber, Grzegorz Rozenberg, Wolfgang Reisig, Hartmut Ehrig

      E-bok
      2003

      712 kr

      Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - Petri Nets: Central Models and Their Properties, Häftad

      Petri Nets: Central Models and Their Properties

      Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg

      Häftad, 1987

      566 kr

      Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber - Petri Net Technology for Communication-Based Systems, Häftad

      Petri Net Technology for Communication-Based Systems

      Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber

      Häftad, 2003

      549 kr

      Grzegorz Rozenberg, Wolfgang Reisig - Carl Adam Petri: Ideas, Personality, Impact, E-bok

      Carl Adam Petri: Ideas, Personality, Impact

      Grzegorz Rozenberg, Wolfgang Reisig

      E-bok
      2019

      631 kr

      Wolfgang Reisig, Grzegorz Rozenberg - Carl Adam Petri: Ideas, Personality, Impact, Inbunden

      Carl Adam Petri: Ideas, Personality, Impact

      Wolfgang Reisig, Grzegorz Rozenberg

      Inbunden, 2019

      495 kr

      Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Petri Nets II: Applications, Häftad

      Lectures on Petri Nets II: Applications

      Wolfgang Reisig, Grzegorz Rozenberg

      Häftad, 1998

      566 kr

      Grzegorz Rozenberg, Wolfgang Reisig, Wilfried Brauer - Petri Nets: Central Models and Their Properties, E-bok

      Petri Nets: Central Models and Their Properties

      Grzegorz Rozenberg, Wolfgang Reisig, Wilfried Brauer

      E-bok
      2006

      732 kr

      Grzegorz Rozenberg, Wolfgang Reisig, Jorg Desel - Lectures on Concurrency and Petri Nets, E-bok

      Lectures on Concurrency and Petri Nets

      Grzegorz Rozenberg, Wolfgang Reisig, Jorg Desel

      E-bok
      2004

      1 413 kr

      Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Petri Nets I: Basic Models, Häftad

      Lectures on Petri Nets I: Basic Models

      Wolfgang Reisig, Grzegorz Rozenberg

      Häftad, 1998

      566 kr