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

Transactions on Petri Nets and Other Models of Concurrency I

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.2008

Herausgeber

Wil M. P. van der Aalst + weitere

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89286-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.12.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-89286-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 I
  • Produktbild: Transactions on Petri Nets and Other Models of Concurrency I
  • Constructive Alignment for Teaching Model-Based Design for Concurrency.- Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.- Teaching Concurrency Concepts to Freshmen.- TAPAs: A Tool for the Analysis of Process Algebras.- Translating Message Sequence Charts to other Process Languages Using Process Mining.- Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering.- Time Recursive Petri Nets.- Designing Case Handling Systems.- Model Driven Testing Based on Test History.- Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.- Directed Unfolding of Petri Nets.- McMillan’s Complete Prefix for Contextual Nets.- Elasticity and Petri Nets.