Vor Ort
Merkzettel Warenkorb
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • Produktbild: Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.06.2013

Abbildungen

XII, 166 illus., schwarz-weiss Illustrationen

Herausgeber

Jose-Manuel Colom + weitere

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38696-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.06.2013

Abbildungen

XII, 166 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

411

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38696-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • The Right Timing: Reflections on the Modeling and Analysis of Time.- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.- Contextual Merged Processes.- ω-Petri Nets.- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets.- A Semantics for Every GSPN.- Expressing and Computing Passage Time Measures of GSPN Models with HASL.- On Multi-enabledness in Time Petri Nets.- Complexity Results for Elementary Hornets.- Complexity Analysis of Continuous Petri Nets.- Step Persistence in the Design of GALS Systems.- A Taxonomy of Persistent and Nonviolent Steps.- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology.- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework.- Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case.- Hierarchical Conformance Checking of Process Models Based on Event Logs.- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach.- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows.- Unifying the Semantics of Modular Extensions of Petri Nets.- Channel Properties of Asynchronously Composed Petri Nets.- MARCIE – Model Checking and Reachability Analysis Done Efficiently.- CPN Tools 4: Multi-formalism and Extensibility.