Transformation rules for the decentralization of a blockchain-extended global process model | Arena Library | Arena