A Petri net model of the meeting design pattern for mobile-stationary agent interaction | IEEE Conference Publication | IEEE Xplore