Strukturelle Analysetechniken für Petrinetze

• Antragsteller: Professor Dr. Karsten Wolf
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2009 bis 2012
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 118005728

• Erstellungsjahr: 2011

Zusammenfassung der Projektergebnisse

Die wesentlichen Hypothesen bei der Antragstellung konnten bestätigt werden, auch wenn nicht alle Pakete so wie beantragt durchgeführt wurden. Strukturbasierte Werkzeuge wie sara sind in der Lage, in ihrer Performanz neben zustandsraumbasierten Werkzeugen zu bestehen und Vorteile auszuspielen. Es zeigt sich ebenso, dass auch strukturbasierte Werkzeuge in der Lage sind, Diagnoseinformation zu liefern, die mit der durch zustandsraumbasierte Werkzeuge gelieferten Information kompatibel ist. Auf diese Weise ergeben sich neue Möglichkeiten der Koexistenz strukturbasierter und zustandsraumasierter Werkzeuge.

Projektbezogene Publikationen (Auswahl)

• New Algorithms for Deciding the Siphon-Trap Property. In Johan Lillus and Wojciech Penczek, editors, 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, volume 6128 of Lecture Notes in Computer Science, pages 267-286, 2010. Springer-Verlag
  Olivia Oanea, Harro Wimmel, and Karsten Wolf
  
• Optimised Calculation of Symmetries for State Space Reduction. In Martin Schwarick and Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), Cottbus, Germany, October 7-8, 2010, volume 643 of CEUR Workshop Proceedings, pages 112-117, 2010
  Harro Wimmel
  
• Reachability Analysis via Net Structure. In Martin Schwarick and Monika Heiner, editors. Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010), Cottbus, Germany, October 7-8, 2010, volume 643 of CEUR Workshop Proceedings, pages 118-123, 2010
  Harro Wimmel and Karsten Wolf
  
• The Downward-Closure of Petri net languages. In Paul Spirakis, Samson Abramsky, and Friedhelm Meyer auf der Heide, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, Proceedings, volume 6199 of Lecture Notes in Computer Science, pages 466-477, 2010. Springer-Verlag
  Peter Habermehl, Roland Meyer, and Harro Wimmel
  
• Applying CEGAR to the Petri Net State Equafion. In Parosh A. Abdulla and K. Rustan M. Leino, editors, Tools and Algorithms for the Construction and Analysis of Systems, 17th International Conference, TACAS 2010, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, volume 6605 of Lecture Notes in Computer Science, pages 224-238, 2011. Springer-Verlag
  Harro Wimmel and Karsten Wolf
  
• Atomic Fragments of Petri Nets. In Robin Bergenthum (editor), 18th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2011), Hagen, Germany, 2011
  Monika Heiner, Harro Wimmel and Karsten Wolf
  
• Finding a witness path for non-liveness in free-choice nets. In Lars Michael Kristensen and Laure Petrucci, editors, Petri Nets and Other Models of Concurrency - PETRI NETS 2011, Newcastle upon Tyne, Proceedings, Lecture Notes in Computer Science, 2011. Springer-Verlag
  Karsten Wolf and Harro Wimmel