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 [1]	Hilfe

Suche: Series=LNCS AND Volume=1825

• ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets
  Wil M.P. van der Aalst, Poul J.N. de Crom, Roy R.H.M.J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert van der Toorn
  Lecture Notes in Computer Science 1825, 2000, pp. 455-464
• LoLa: A low level analyser
  Karsten Schmidt
  Lecture Notes in Computer Science 1825, 2000, pp. 465-474
• Woflan 2.0: A Petri-net-based workflow diagnosis tool
  Eric Verbeek, Wil van der Aalst
  Lecture Notes in Computer Science 1825, 2000, pp. 475-484