Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 15.06.2026 bis 17.06.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Maximaler rabattfähiger Warenkorbwert 500 € | Nicht kombinierbar mit weiteren Aktionen | Nur einmal pro Person einlösbar | Nur solange der Vorrat reicht

  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII

Transactions on Petri Nets and Other Models of Concurrency VIII

Aus der Reihe Transactions on Petri Nets and Other Models of Concurrency

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.08.2013

Abbildungen

XVIII, 85 illus., schwarz-weiss Illustrationen

Herausgeber

Maciej Koutny + weitere

Verlag

Springer Berlin

Seitenzahl

203

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

347 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40464-1

Beschreibung

Portrait

Wil van der Aalst is a full professor at the Department of Mathematics & Computer Science of the Technische Universiteit Eindhoven, The Netherlands, where he chairs the Architecture of Information Systems group. He also has a part-time appointment in the BPM group of Queensland University of Technology, Australia. His research and teaching interests include information systems, workflow management, Petri nets, process mining, specification languages, and simulation. Wil has published journal papers, books, refereed conference or workshop publications, and book chapters.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.08.2013

Abbildungen

XVIII, 85 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

203

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

347 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40464-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII
  • Comparing Metabolic Pathways through Reactions and Potential Fluxes.- Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow.- Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms.- From Code to Coloured Petri Nets: Modelling Guidelines.- Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.- When Can We Trust a Third Party?: A Soundness Perspective.- Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators.- Model-Driven Middleware Support for Team-Oriented Process Management.- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.