Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 04.08.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
Produktbild: Application and Theory of Petri Nets 1998
Band 1420

Application and Theory of Petri Nets 1998 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1998

Herausgeber

Jörg Desel + weitere

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

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

Gewicht

598 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64677-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.1998

Herausgeber

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

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

Gewicht

598 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-64677-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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 1998
  • Invited Papers.- Petri Nets as Token Objects.- Synchronized Products of Transition Systems and Their Analysis.- Manual and Automatic Exploitation of Symmetries in SPN Models.- Full Papers.- Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models.- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.- Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.- Finding Stubborn Sets of Coloured Petri Nets without Unfolding.- On Stubborn Sets in the Verification of Linear Time Temporal Properties.- A Compositional Petri Net Semantics for SDL.- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus.- Efficiency of Token-Passing MUTEX-Solutions — Some Experiments.- Thinking in Cycles.- Iterative Decomposition and Aggregation of Labeled GSPNs.- On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.- Deadlock Detection in the Face of Transaction and Data Dependencies.- Petri Net Based Certification of Event-Driven Process Chains.- M-net Calculus Based Semantics for Triggers.- SWN Analysis and Simulation of Large Knockout ATM Switches.- Flexibility in Algebraic Nets.- ESTL: A Temporal Logic for Events and States.