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

• Computer tools for construction, modification and analysis of Petri nets
  K. Jensen
  Lecture Notes in Computer Science 255, 1987, pp. 4-19
• Petri net tool overview 1986
  F. Feldbrugge, K. Jensen
  Lecture Notes in Computer Science 255, 1987, pp. 20-61
• Petri nets in software engineering
  W. Reisig
  Lecture Notes in Computer Science 255, 1987, pp. 63-96
• Nets in data bases
  K. Voss
  Lecture Notes in Computer Science 255, 1987, pp. 97-135
• Petri net based models in the specification and verification of protocols
  M. Diaz
  Lecture Notes in Computer Science 255, 1987, pp. 135-170
• Human-machine interaction and role/function/action-nets
  H. Oberquelle
  Lecture Notes in Computer Science 255, 1987, pp. 171-190
• Nets in production systems
  R. Valette
  Lecture Notes in Computer Science 255, 1987, pp. 191-217
• Nets in computer organization
  R. Valk
  Lecture Notes in Computer Science 255, 1987, pp. 218-233
• Nets in office automation
  K. Voss
  Lecture Notes in Computer Science 255, 1987, pp. 234-257
• Modelling architectural features with Petri nets
  J.L. Baer
  Lecture Notes in Computer Science 255, 1987, pp. 258-277
• Trace theory
  A. Mazurkiewicz
  Lecture Notes in Computer Science 255, 1987, pp. 279-324
• Event structures
  G. Winskel
  Lecture Notes in Computer Science 255, 1987, pp. 325-392
• CCS - and its relationship to net theory
  M. Nielsen
  Lecture Notes in Computer Science 255, 1987, pp. 393-415
• COSY: Its relation to nets and to CSP
  E. Best
  Lecture Notes in Computer Science 255, 1987, pp. 416-440
• TCSP: Theory of communicating sequential processes
  E.R. Olderog
  Lecture Notes in Computer Science 255, 1987, pp. 441-465
• Reduction, data flow and control flow models of computation
  W. Kluge
  Lecture Notes in Computer Science 255, 1987, pp. 466-498
• ``Forgotten topics'' of net theory
  C.A. Petri
  Lecture Notes in Computer Science 255, 1987, pp. 500-514