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

• A heuristic algorithm FSDC based on avoidance of deadlock components in finding legal firing sequences of Petri nets
  Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe
  Lecture Notes in Computer Science 2679, 2003, pp. 417-439
• PLC programming with Signal Interpreted Petri Nets
  Stéphane Klein, Georg Frey, Mark Minas
  Lecture Notes in Computer Science 2679, 2003, pp. 440-449
• CPN tools for editing, simulating, and analysing coloured Petri nets
  Anne Vinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Sren Christensen, Kurt Jensen
  Lecture Notes in Computer Science 2679, 2003, pp. 450-462
• The model-checking kit
  Claus Schröter, Stefan Schwoon, Javier Esparza
  Lecture Notes in Computer Science 2679, 2003, pp. 463-472
• Prototyping object oriented specifications
  Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
  Lecture Notes in Computer Science 2679, 2003, pp. 473-482
• The Petri Net Markup Language: Concepts, technology, and tools
  Jonathan Billington, Sren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
  Lecture Notes in Computer Science 2679, 2003, pp. 483-505