• Produktbild: Unifying Petri Nets
  • Produktbild: Unifying Petri Nets
Band 2128

Unifying Petri Nets Advances in Petri Nets

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2001

Abbildungen

VIII, 488 p.

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

488

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-43067-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.12.2001

Abbildungen

VIII, 488 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

488

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

750 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-43067-4

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: Unifying Petri Nets
  • Produktbild: Unifying Petri Nets
  • “What Is a Petri Net?” Informal Answers for the Informed Reader.- Application Oriented Approaches.- The ?Petri Net Baukasten?: An Overview.- Improving the Usability of Petri Nets with the ?Petri Net Baukasten?.- Implementation of Parameterized Net Classes with the Petri Net Kernel of the ?Petrinetz-Baukasten?.- Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models.- Unifying Frameworks.- Petri Nets over Partial Algebra.- Parameterized Net Classes: A Uniform Approach to Petri Net Classes.- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.- Rewriting Logic as a Unifying Framework for Petri Nets.- Theoretical Approaches.- Generalized Automata and Their Net Representations.- On Concurrent Realization of Reactive Systems and Their Morphisms.- Transactions and Zero-Safe Nets.- Two Algebraic Process Semantics for Contextual Nets.- Continuous Petri Nets and Transition Systems.