Contextual Analysis of Petri Nets for Distributed Applications