When Can We Trust a Third Party? A Soundness Perspective - van Hee, Kees M.; Sidorova, Natalia; van der Werf, Jan Martijn E. M. (Transactions on Petri Nets and Other Models of Concurrency VIII, 2013)
Keywords: Control Pattern; Initial Place; Payment Service; Projection Property; Virtual Enterprise