Modelling and verification of concurrent algorithms with Petri Nets