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=815

• Automatic verification of finite-state concurrent systems
  Edmund M. Clarke
  Lecture Notes in Computer Science 815, 1994, pp. 1
• The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks
  Frank DiCesare, Paul T. Kulp, Michael Gile, George List
  Lecture Notes in Computer Science 815, 1994, pp. 2-15
• On the model of computation of place/transition Petri nets
  José Meseguer, Ugo Montanari, Vladimiro Sassone
  Lecture Notes in Computer Science 815, 1994, pp. 16-38
• B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation
  Cosimo Anglano, Luigi Portinale
  Lecture Notes in Computer Science 815, 1994, pp. 39-58
• Probabilistic validation of a remote procedure call protocol
  N. Bennacer, G. Florin, C. Fraize, S. Natkin
  Lecture Notes in Computer Science 815, 1994, pp. 59-78
• Occurrence graphs for interval timed coloured nets
  Gérard Berthelot, Hanifa Boucheneb
  Lecture Notes in Computer Science 815, 1994, pp. 79-98
• Implementation of weighted place/transition nets based on linear enabling functions
  J.L. Briz, J.M. Colom
  Lecture Notes in Computer Science 815, 1994, pp. 99-118
• Hierarchical high level Petri nets for complex system analysis
  Peter Buchholz
  Lecture Notes in Computer Science 815, 1994, pp. 119-138
• Modeling symmetric computer architectures by SWNs
  G. Chiola, G. Franceschinis, R. Gaeta
  Lecture Notes in Computer Science 815, 1994, pp. 139-158
• Coloured Petri nets extended with channels for synchronous communication
  Soren Christensen, Niels Damgaard Hansen
  Lecture Notes in Computer Science 815, 1994, pp. 159-178
• Petri nets with marking-dependet arc cardinality: Properties and analysis
  Gianfranco Ciardo
  Lecture Notes in Computer Science 815, 1994, pp. 179-198
• New structural invariant for Petri nets analysis
  J.M. Couvreur, E. Paviot-Adet
  Lecture Notes in Computer Science 815, 1994, pp. 199-218
• Timed stream Petri nets: A model for timed multimedia information
  Michel Diaz, Patrick Sénac
  Lecture Notes in Computer Science 815, 1994, pp. 219-238
• A term representation of P/T systems
  Cheryl Dietz, Gerlinde Schreiber
  Lecture Notes in Computer Science 815, 1994, pp. 239-257
• Superposed generalized stochastic Petri nets: Definition and efficient solution
  Susanna Donatelli
  Lecture Notes in Computer Science 815, 1994, pp. 258-277
• Verification of recipe-based control procedures by means of predicate/transition nets
  Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
  Lecture Notes in Computer Science 815, 1994, pp. 278-297
• Towards comprehensive support for the dynamic analysis of Petri net based models
  Rudolf K. Keller, Marianne Ozkan, Xijin Shen
  Lecture Notes in Computer Science 815, 1994, pp. 298-317
• Partial order semantics of box expressions
  Maciej Koutny
  Lecture Notes in Computer Science 815, 1994, pp. 318-337
• A general systematic approach to arc extensions for coloured Petri nets
  Charles Lakos, Soren Christensen
  Lecture Notes in Computer Science 815, 1994, pp. 338-357
• Liveness in bounded Petri nets which are covered by T-invariants
  Kurt Lautenbach, Hanno Ridder
  Lecture Notes in Computer Science 815, 1994, pp. 358-375
• Modelling the work flow of a nuclear waste management program
  Kjeld H. Mortensen, Valerio Pinci
  Lecture Notes in Computer Science 815, 1994, pp. 376-395
• Data structures and algorithms for extended state space and structural level reduction of the GSPN model
  Donna S. Nielsen, Leonard Kleinrock
  Lecture Notes in Computer Science 815, 1994, pp. 396-415
• Petri net analysis using Boolean manipulation
  Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
  Lecture Notes in Computer Science 815, 1994, pp. 416-435
• Modelling of pilot behaviour using Petri nets
  W. Ruckdeschel, R. Onken
  Lecture Notes in Computer Science 815, 1994, pp. 436-453
• Simulation and analysis of a document storage system
  Gert Scheschonk, Michael Timpe
  Lecture Notes in Computer Science 815, 1994, pp. 454-471