Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=1420

• Petri nets as token objects - An introduction to elementary object nets
  Rüdiger Valk
  Lecture Notes in Computer Science 1420, 1998, pp. 1-25
• Synchronized products of transition systems and their analysis
  André Arnold
  Lecture Notes in Computer Science 1420, 1998, pp. 26-27
• Manual and automatic exploitation of symmetries in SPN models
  Giovanni Chiola
  Lecture Notes in Computer Science 1420, 1998, pp. 28-43
• Dimensioning handover buffers in wireless ATM networks with GSPN models
  Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli
  Lecture Notes in Computer Science 1420, 1998, pp. 44-63
• A class of well structured Petri nets for flexible manufacturing systems
  J. Ezpeleta, F. García-Vallés, J.M. Colom
  Lecture Notes in Computer Science 1420, 1998, pp. 64-83
• Modelling and model checking a distributed shared memory consistency protocol
  Kathi Fisler, Claude Girault
  Lecture Notes in Computer Science 1420, 1998, pp. 84-103
• Finding stubborn sets of coloured Petri nets without unfolding
  Lars Michael Kristensen, Antti Valmari
  Lecture Notes in Computer Science 1420, 1998, pp. 104-123
• On stubborn sets in the verification of linear time temporal properties
  Kimmo Varpaaniemi
  Lecture Notes in Computer Science 1420, 1998, pp. 124-143
• A compositional Petri net semantics for SDL
  Hans Fleischhack, Bernd Grahlmann
  Lecture Notes in Computer Science 1420, 1998, pp. 144-164
• An axiomatisation of duplication equivalence in the Petri box calculus
  Martin Hesketh, Maciej Koutny
  Lecture Notes in Computer Science 1420, 1998, pp. 165-184
• Efficiency of token-passing MUTEX-solutions - Some experiments
  Elmar Bihler, Walter Vogler
  Lecture Notes in Computer Science 1420, 1998, pp. 185-204
• Thinking in cycles
  Mark-Oliver Stehr
  Lecture Notes in Computer Science 1420, 1998, pp. 205-225
• Iterative decomposition and aggregation of labeled GSPNs
  Peter Buchholz
  Lecture Notes in Computer Science 1420, 1998, pp. 226-245
• On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking
  Marco Gribaudo, Matteo Sereno
  Lecture Notes in Computer Science 1420, 1998, pp. 246-265
• Deadlock detection in the face of transaction and data dependencies
  E. Bertino, G. Chiola, L.V. Mancini
  Lecture Notes in Computer Science 1420, 1998, pp. 266-285
• Petri net based certification of event-driven process chains
  Peter Langner, Christoph Schneider, Joachim Wehler
  Lecture Notes in Computer Science 1420, 1998, pp. 286-305
• M-net calculus based semantics for triggers
  Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
  Lecture Notes in Computer Science 1420, 1998, pp. 306-325
• SWN analysis and simulation of large knockout ATM switches
  Rossano Gaeta, Marco Ajmone Marsan
  Lecture Notes in Computer Science 1420, 1998, pp. 326-344
• Flexibility in algebraic nets
  Ekkart Kindler, Hagen Völzer
  Lecture Notes in Computer Science 1420, 1998, pp. 345-364
• ESTL: A temporal logic for events and states
  Ekkart Kindler, Tobias Vesper
  Lecture Notes in Computer Science 1420, 1998, pp. 365-384