Debits and credits in Petri nets and linear logic