Lending Petri Nets