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

• Delays in synchronized elementary net systems
  Charles André
  Lecture Notes in Computer Science 524, 1991, pp. 1-28
• Proving temporal properties of Petri nets
  J.C. Bradfield
  Lecture Notes in Computer Science 524, 1991, pp. 29-47
• The complexity of testing the equivalence of transition sequences
  Heino Carstensen
  Lecture Notes in Computer Science 524, 1991, pp. 48-57
• Use of reentrant nets in modular analysis of colored nets
  Ghassan Chehaibar
  Lecture Notes in Computer Science 524, 1991, pp. 58-77
• On abstraction of nets
  Jörg Desel
  Lecture Notes in Computer Science 524, 1991, pp. 78-92
• Semantics, composition and net properties of algebraic high-level nets
  Cristian Dimitrovici, Udo Hummert, Laure Petrucci
  Lecture Notes in Computer Science 524, 1991, pp. 93-117
• Top-down synthesis of live and bounded free choice nets
  Javier Esparza, Manuel Silva
  Lecture Notes in Computer Science 524, 1991, pp. 118-139
• Hood nets
  Raffaele di Giovanni
  Lecture Notes in Computer Science 524, 1991, pp. 140-160
• Distributable nets
  R.P. Hopkins
  Lecture Notes in Computer Science 524, 1991, pp. 161-187
• Computer supported design of Kanban controlled production
  F. Itter, C. Relewicz
  Lecture Notes in Computer Science 524, 1991, pp. 188-204
• Optimal simulations, nets and reachibility graphs
  Ryszard Janicki, Maciej Koutny
  Lecture Notes in Computer Science 524, 1991, pp. 205-226
• An integrated software development methodology based on hierarchical colored Petri nets
  Valerio O. Pinci, Robert M. Shapiro
  Lecture Notes in Computer Science 524, 1991, pp. 227-252
• On net systems generated by process foldings
  Einar Smith
  Lecture Notes in Computer Science 524, 1991, pp. 253-276
• On liveness preservation by composition of nets via a set of places
  Younes Souissi
  Lecture Notes in Computer Science 524, 1991, pp. 277-295
• Software implementation of Petri nets and compilation of rule-based systems
  Robert Valette, Babou Bako
  Lecture Notes in Computer Science 524, 1991, pp. 296-316
• Bibliography of Petri nets 1990
  Helmut Plünnecke, Wolfgang Reisig
  Lecture Notes in Computer Science 524, 1991, pp. 317-572