From hierarchical BIP to Petri calculus