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.