Modeling Distributed Private Key Generation by Composing Petri Nets