Application and Theory of Petri Nets 1998

19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings

AvJ. Desel,Manuel Silva

Häftad, Engelska, 1998

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98, held in Lisbon, Portugal, in June 1998.The 17 revised full papers presented in the book together with three invited contributions have been selected from a total of 58 submissions. Among the topics covered are various types of Petri nets including colored and timed Petri nets, transition systems, ATM Networks, model checking, process chains, events and state systems, queueing networks, distributed shared memory systems, etc..

Produktinformation

Utgivningsdatum:1998-06-05
Mått:155 x 235 x 22 mm
Vikt:598 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:384
Upplaga:1998
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540646778

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Mer från samma serie

Nyhet

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad

898 kr