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

• Component-based construction of heterogeneous real-time systems in BIP
  Joseph Sifakis
  Lecture Notes in Computer Science 5606, 2009, pp. 1-1
• Unifying Petri net semantics with token flows
  Gabriel Juhás, Robert Lorenz, Jörg Desel
  Lecture Notes in Computer Science 5606, 2009, pp. 2-21
• Reaction systems: A formal framework for processes
  Grzegorz Rozenberg
  Lecture Notes in Computer Science 5606, 2009, pp. 22-22
• Simple composition of nets
  Wolfgang Reisig
  Lecture Notes in Computer Science 5606, 2009, pp. 23-42
• Towards a standard for modular Petri nets: A formalisation
  Ekkart Kindler, Laure Petrucci
  Lecture Notes in Computer Science 5606, 2009, pp. 43-62
• Decidability results for restricted models of Petri nets with name creation and replication
  Fernando Rosa-Velardo, David de Frutos-Escrig
  Lecture Notes in Computer Science 5606, 2009, pp. 63-82
• Pomset languages of finite step transition systems
  Jean Fanchon, Rémi Morin
  Lecture Notes in Computer Science 5606, 2009, pp. 83-102
• Deficiency zero Petri nets and product form
  Jean Mairesse, Hoang-Thach Nguyen
  Lecture Notes in Computer Science 5606, 2009, pp. 103-122
• Bisimilarity minimization in O(m \log n) time
  Antti Valmari
  Lecture Notes in Computer Science 5606, 2009, pp. 123-142
• p-semiflow computation with decision diagrams
  Gianfranco Ciardo, Galen Mecham, Emmanuel Paviot-Adet, Min Wan
  Lecture Notes in Computer Science 5606, 2009, pp. 143-162
• Orthomodular lattices in occurrence nets
  Luca Bernardinello, Lucia Pomello, Stefania Rombolà
  Lecture Notes in Computer Science 5606, 2009, pp. 163-182
• Hasse diagram generators and Petri nets
  Mateus de Oliveira Oliveira
  Lecture Notes in Computer Science 5606, 2009, pp. 183-203
• Modeling and analysis of transportation networks using Batches Petri nets with controllable batch speed
  Isabel Demongodin
  Lecture Notes in Computer Science 5606, 2009, pp. 204-222
• Oclets - Scenario-based modeling with Petri nets
  Dirk Fahland
  Lecture Notes in Computer Science 5606, 2009, pp. 223-242
• Hornets: Nets within nets combined with net algebra
  Michael Köhler-Bußmeier
  Lecture Notes in Computer Science 5606, 2009, pp. 243-262
• Monotonicity in service orchestrations
  Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
  Lecture Notes in Computer Science 5606, 2009, pp. 263-282
• Compositional service trees
  Wil M.P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn van der Werf
  Lecture Notes in Computer Science 5606, 2009, pp. 283-302
• ASAP: An extensible platform for state space analysis
  Michael Westergaard, Sami Evangelista, Lars Michael Kristensen
  Lecture Notes in Computer Science 5606, 2009, pp. 303-312
• The Access/CPN framework: A tool for interacting with the CPN Tools simulator
  Michael Westergaard, Lars Michael Kristensen
  Lecture Notes in Computer Science 5606, 2009, pp. 313-322
• DSSZ-MC - A tool for symbolic analysis of extended Petri nets
  Monika Heiner, Martin Schwarick, Alexej Tovchigrechko
  Lecture Notes in Computer Science 5606, 2009, pp. 323-332
• Workcraft - A framework for Interpreted Graph Models
  Ivan Poliakov, Victor Khomenko, Alex Yakovlev
  Lecture Notes in Computer Science 5606, 2009, pp. 333-342
• PDETool: A multi-formalism modeling tool for discrete-event systems based on SDES description
  Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi
  Lecture Notes in Computer Science 5606, 2009, pp. 343-352