• 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

Må bättre, för mindre! Upp till 50% rabatt på hälsoböcker

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

    Petri Nets and Other Models of Concurrency - ICATPN 2006

    27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

    AvSusanna Donatelli,P.S. Thiagarajan

    Häftad, Engelska, 2006

    Del i serien Lecture Notes in Computer Science

    547 kr

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

    Beskrivning

    This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

    Produktinformation

    • Utgivningsdatum:2006-06-13
    • Mått:155 x 235 x 25 mm
    • Vikt:692 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:441
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540346999

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik

    Innehållsförteckning

    • Invited Papers.- Invariant Based Programming.- On the Integration of UML and Petri Nets in Software Development.- Component Tools: Integrating Petri Nets with Other Formal Methods.- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.- Full Papers.- Compensation in Workflow Nets.- The Synthesis Problem of Netcharts.- Non-sequential Behaviour of Dynamic Nets.- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.- On the Computation of Stubborn Sets of Colored Petri Nets.- On the Construction of Pullbacks for Safe Petri Nets.- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis.- How Expressive Are Petri Net Schemata?.- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.- Nested Nets for Adaptive Systems.- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.- Infinite Process Semantics of Inhibitor Nets.- Towards Synthesis of Petri Nets from Scenarios.- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.- On the Step Explosion Problem.- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.- Tool Papers.- Can I Execute My Scenario in Your Net? VipTool Tells You!.- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.- ArgoSPE: Model-Based Software Performance Engineering.- Petriweb: A Repository for Petri Nets.- Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.- The BRITNeY Suite Animation Tool.