• 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

Upp till 20% på populära nyheter →

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 @ 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

      Applications and Theory of Petri Nets 2004

      25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings

      AvJordi Cortadella,Wolfgang Reisig

      Häftad, Engelska, 2004

      Del i serien Lecture Notes in Computer Science

      1 113 kr

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

      Beskrivning

      This volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferenceshave 100-150participants,one third of these c- ing from industry, whereas the others are from universities and research insti- tions. The conferences always take place in the last week of June. The conference and a number of other activities are coordinated by a ste- ing committee with the following members: Wil van der Aalst (The Neth- lands),JonathanBillington(Australia),JrgDesel(Germany),SusannaDonatelli (Italy),SergeHaddad(France),KurtJensen(Denmark),MaciejKoutny(United Kingdom), Sadatoshi Kumagai(Japan), GiorgioDe Michelis (Italy), Tadao- rata (USA), Carl Adam Petri (Germany, Honorary Member), Wolfgang Reisig (Germany),GrzegorzRozenberg(TheNetherlands,Chairman)andManuelSilva (Spain). The 2004 conference was organized by the Department of Computer Science of the University of Bologna, Italy. We would like to thank the organizing c- mittee, chaired by Roberto Gorrieri, for the e?ort invested in making the event successful.We are also grateful to the following sponsoring institutions and - ganizations: Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA), Microsoft Research, and Network Project & Solutions (NPS Group). We received a total of 62 submissions from 26 di?erent countries. The p- gramcommittee?nallyselected19regularpapersand5toolpresentationpapers. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Gianfranco Ciardo, Roberto Gorrieri, Thomas A. H- zinger, Wojciech Penczek, Lucia Pomello and William H. Sanders. Their papers are also included in this volume.

      Produktinformation

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

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik

      Innehållsförteckning

      • Invited papers.- Positive Non-interference in Elementary and Trace Nets.- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?.- Embedded Software: Better Models, Better Code.- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.- Formal Tools for Modular System Development.- Stochastic Methods for Dependability, Performability, and Security Evaluation.- Full papers.- Composition of Temporal Logic Specifications.- On the Use of Coloured Petri Nets for Object-Oriented Design.- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.- Finite Unfoldings of Unbounded Petri Nets.- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.- Generalised Soundness of Workflow Nets Is Decidable.- Petri Net Based Model Validation in Systems Biology.- Synthesis of Controlled Behavior with Modules of Signal Nets.- New Canonical Representative Marking Algorithms for Place/Transition-Nets.- Properties of Object Petri Nets.- LTL Model Checking for Modular Petri Nets.- Covering Fairness against Conspiracies.- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets.- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.- Transit Case Study.- Eliminating Internal Behaviour in Petri Nets.- Infinity of Intermediate States Is Decidable for Petri Nets.- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.- Tool Papers.- EMiT: A Process Mining Tool.- 3D-Visualization of Petri Net Models: Concept and Realization.- An Approach to Distributed State Space Exploration for Coloured Petri Nets.- An Extensible Editor and Simulation Engine for Petri Nets: Renew.- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.
      Hoppa över listan

      Du kanske också är intresserad av

      Wolfgang Reisig, Jordi Cortadella - Applications and Theory of Petri Nets 2004, E-bok

      Applications and Theory of Petri Nets 2004

      Wolfgang Reisig, Jordi Cortadella

      E-bok
      2004

      1 427 kr

      Cesar Sierra Martin, Christian Nunez Lopez, Alberto Prieto Arciniega, Antonio Dupla-Ansuategui, Domingo Placido, Borja Antela-Bernardez, Isaias Arrayas Morales, Mariano Requena, Diego Paiaro, Ricardo Martinez Lacy, Jordi Cortadella, Luciano Canfora, Cesar Sierra Martin, Christian Nunez Lopez - La influencia de Marx y el marxismo en los estudios sobre la Antigüedad, E-bok

      La influencia de Marx y el marxismo en los estudios sobre la Antigüedad

      Cesar Sierra Martin, Christian Nunez Lopez, Alberto Prieto Arciniega, Antonio Dupla-Ansuategui, Domingo Placido, Borja Antela-Bernardez, Isaias Arrayas Morales, Mariano Requena, Diego Paiaro, Ricardo Martinez Lacy, Jordi Cortadella, Luciano Canfora, Cesar Sierra Martin, Christian Nunez Lopez

      E-bok
      2021

      52 kr

      Grzegorz Rozenberg, Alex Yakovlev, Jordi Cortadella - Concurrency and Hardware Design, E-bok

      Concurrency and Hardware Design

      Grzegorz Rozenberg, Alex Yakovlev, Jordi Cortadella

      E-bok
      2003

      739 kr

      Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg - Concurrency and Hardware Design, Häftad

      Concurrency and Hardware Design

      Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg

      Häftad, 2002

      577 kr

      César Sierra Martín, Luciano Canfora, Jordi Cortadella - influencia de Marx y el marxismo en los estudios sobre la Antigüedad, Häftad
      Del 1

      influencia de Marx y el marxismo en los estudios sobre la Antigüedad

      César Sierra Martín, Luciano Canfora, Jordi Cortadella

      Häftad, 2021

      158 kr

      Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Concurrency and Petri Nets, Häftad

      Lectures on Concurrency and Petri Nets

      Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg

      Häftad, 2004

      1 113 kr

      Wolfgang Reisig - Petrinetze, Inbunden

      Petrinetze

      Wolfgang Reisig

      Inbunden, 2010

      400 kr

      Wolfgang Reisig - Primer in Petri Net Design, Häftad

      Primer in Petri Net Design

      Wolfgang Reisig

      Häftad, 2011

      1 147 kr

      Wolfgang Reisig - Systementwurf mit Netzen, Häftad

      Systementwurf mit Netzen

      Wolfgang Reisig

      Häftad, 2012

      433 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

      577 kr