A Petri Nets Model for Blockchain Analysis
CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin