Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 24.08.2026 bis 26.08.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • Produktbild: Application and Theory of Petri Nets and Concurrency
Band 7927

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

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.06.2013

Abbildungen

XII, 411 p. 166 illus.

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, 411 p. 166 illus.

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: ProductSafety@springernature.com

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.