From Pthreads to Petri Nets

Tasks

• Setup repository for everything.
• Writing the proposal.
• Find one or more good examples that represent all of the features of pthreads we support.

Proposal

Should list the content of the Bachelor-Thesis and how I'm going to write it.

Bachelor-Thesis

1. Abstract - Summerizes the Bachelor-Thesis.
2. Contents Page
3. Notation and terminology - Is an ongoing process while writing the Bachelor-Thesis
4. Introduction - What are pthreads and petri nets. What is the purpose of it. Maybe a short example to arouse the interest of the reader. Why are we translating it from pthreads to petri nets.
5. Pthreads - Detailed overview of pthreads. How they work and how they can be used. Also includes syntax of the from ultimate supported features.
6. Boogie - Short overview what boogie is and how we use it. (May include some example syntax of a boogie program) 6.1 fork Statement - Represents syntax and translation process from pthread to boogie 6.2 join Statement - analog
7. CFG - ?
8. Petri Nets - Why we use petri nets. How we represent a program with petri nets. 8.1 From fork to petri net 8.2 From join to petri net Conclusions What's next? List of tables ? List of figures ? List of definitions ? References