/lively4-petrinet/src/blockchain/model/wallet