• 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. Naturvetenskap och teknik
    2. Teknik och industri
    3. Teknik: allmänt

    Application and Theory of Petri Nets 1993

    14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

    AvMarco Ajmone Marsan

    Häftad, Engelska, 1993

    Del i serien Lecture Notes in Computer Science

    1 086 kr

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

    Beskrivning

    This volume contains the proceedings of the 14thInternational Conference onApplication and Theory of PetriNets. 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 whom come from industry, whilethe rest are from universities and research institutes.The volume includes three invited papers, "Modeling andenactment of workflow systems" (C.A. Ellis, G.J. Nutt),"Interleaving functional and performance structural analysisof net models" (M. Silva), and "FSPNs: fluid stochasticPetri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26full papers (selected from 102 submissions) and 6 projectpapers.

    Produktinformation

    • Utgivningsdatum:1993-06-07
    • Mått:155 x 235 x 33 mm
    • Vikt:908 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:598
    • Upplaga:1993
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540568636

    Utforska kategorier

    • Teknik: allmänt inom Naturvetenskap och teknik
    • Matematikens grunder inom Naturvetenskap och teknik
    • Naturvetenskap:allmänt inom Naturvetenskap och teknik

    Innehållsförteckning

    • Modeling and enactment of workflow systems.- Interleaving functional and performance structural analysis of net models.- FSPNs: Fluid stochastic Petri nets.- Taking advantages of temporal redundancy in High Level Petri Nets implementations.- A subset of Lotos with the computational power of Place/Transition-nets.- An efficient algorithm for finding structural deadlocks in colored Petri nets.- Synthesis of net systems.- Hierarchies in colored GSPNs.- Variable reasoning and analysis about uncertainty with fuzzy Petri nets.- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency.- Transient analysis of deterministic and stochastic Petri nets.- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs.- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems.- Shortest paths in reachability graphs.- Construction of S-invariants and S-components for refined Petri boxes.- Compositional liveness properties of EN-systems.- Analysis of place/transition nets with timed arcs and its application to batch process control.- On well-formed nets and optimizations in enabling tests.- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net.- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model.- Marking optimization of stochastic timed event graphs.- A client-server protocol for the composition of Petri nets.- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks.- Liveness and home states in equal conflict systems.- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling.- Interval timed coloured petri nets and their analysis.- Integration of specification for modeling and specification for system design.- New priority-lists for scheduling in timed Petri nets.- A unified approach for reasoning about conflict-free Petri nets.- A colored Petri Net model for a naval command and control system.- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application.- On net modeling of industrial size concurrent systems.- Analysis of the TMS320C40 communication channels using timed Petri Nets.- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN.- Petri Nets modeling in pipelined microprocessor design.