Seminar: Lending Petri Nets (and contracts)