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

• Replacement of open interface subnets and stable state transformation equivalence
  Ghassan Chehaibar
  Lecture Notes in Computer Science 674, 1993, pp. 1-25
• Bounded self-stabilizing Petri nets
  Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier
  Lecture Notes in Computer Science 674, 1993, pp. 26-50
• Generative families of positive invariant in coloured nets sub-classes
  J.M. Couvreur, S. Haddad, J.F. Peyre
  Lecture Notes in Computer Science 674, 1993, pp. 51-70
• Autonomous and timed continuous Petri nets
  René David, Hassane Alla
  Lecture Notes in Computer Science 674, 1993, pp. 71-90
• The Devnet: A Petri net for discrete event simulation
  John B. Evans
  Lecture Notes in Computer Science 674, 1993, pp. 91-125
• A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets
  J. Ezpeleta, J.M. Couvreur, M. Silva
  Lecture Notes in Computer Science 674, 1993, pp. 126-147
• A concept of hierarchical Petri nets with building blocks
  Rainer Fehling
  Lecture Notes in Computer Science 674, 1993, pp. 148-168
• Petri net tool overview 1992
  Frits Feldbrugge
  Lecture Notes in Computer Science 674, 1993, pp. 169-209
• The minimal coverability graph for Petri nets
  Alain Finkel
  Lecture Notes in Computer Science 674, 1993, pp. 210-243
• Distributed implementation of CCS
  Roberto Gorrieri, Ugo Montanari
  Lecture Notes in Computer Science 674, 1993, pp. 244-266
• Saturation conditions for stochastic Petri nets
  R. Gouet, F. Plo, M. San Miguel, B. Ycart
  Lecture Notes in Computer Science 674, 1993, pp. 267-280
• Marking optimization in timed event graphs
  S. Laftit, J.M. Proth, X.L. Xie
  Lecture Notes in Computer Science 674, 1993, pp. 281-300
• Parameterized reachability trees for predicate/transition nets
  Markus Lindqvist
  Lecture Notes in Computer Science 674, 1993, pp. 301-324
• Iterative decomposition and aggregation of stochastic marked graph Petri nets
  Yao Li, C. Murray Woodside
  Lecture Notes in Computer Science 674, 1993, pp. 325-349
• Constraints and extensions in a calculus of EN systems
  Giorgio de Michelis
  Lecture Notes in Computer Science 674, 1993, pp. 350-370
• Comparability orders and measurement
  Einar Smith
  Lecture Notes in Computer Science 674, 1993, pp. 371-405
• Deterministic systems of sequential processes: A class of structured Petri nets
  Younes Souissi
  Lecture Notes in Computer Science 674, 1993, pp. 406-426
• Compositional state space generation
  Antti Valmari
  Lecture Notes in Computer Science 674, 1993, pp. 427-457