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

Fr. 72.90

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.