Modelling inter-organizational trade using Documentary Petri Nets | IEEE Conference Publication | IEEE Xplore