Vor Ort
Merkzettel Warenkorb
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency VIII
Band 8100

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

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.08.2013

Abbildungen

XVIII, 203 p. 85 illus.

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, 203 p. 85 illus.

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 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: 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.