Strukturelle Analysetechniken für Petrinetze

• Applicant: Professor Dr. Karsten Wolf
• Subject Area: Theoretical Computer Science
• Term: from 2009 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 118005728

• Final Report Year: 2011

Final Report Abstract

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.

Publications

• 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