TY  - RPRT
TI  - Lending Petri nets and contracts
AU  - Massimo Bartoletti
AU  - Tiziana Cimoli
AU  - G. Michele Pinna
PY  - 2013
DO  - 10.1016/j.scico.2015.05.006
UR  - https://arxiv.org/abs/1211.3624
ID  - 1211.3624
ER  -