Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications | IEEE Conference Publication | IEEE Xplore