Encoding asynchronous interactions using open Petri nets