Debits and Credits in Petri Nets and Linear Logic