Presentation at Petri nets 2014

  • Tipical Tunisial Beverage - Thé à la menthe aux pignons

Recently I attended the 35th International Conference on Application and Theory of Petri Nets and Concurrency in Tunisia. It was a great opportunity to spend some time with my colleagues.

In the conference I presented my Petri net model checker, StrataGEM, which also participated in the model checking contest at Petri nets. In the competition (StrataGEM only participated in the state space calculation competition) we obtained the fourth place. Not bad, considering that we are a relatively new model checker compared to the other tools that were present. 

I also presented the paper: StrataGEM: A Generic Petri Net Verification Framework. Here you can find the slides that accompained my presentation. If you have any question about the tool or the presentation please do not hesitate to ask questions in the comments.