An implementation of a multi-agent plan synchronizer
Christopher Stuart · Morgan Kaufmann Publishers Inc. eBooks · 1988
A program is described which augments plans with synchronizing primitives to ensure appropriate conflict avoidance and co-operation The plans are particularly suitable for describing the activity of multiple agents which may interfere with each other The interpretation of a plan is given as a non deterministic finite automaton which exchanges messages with an environment for the commencement and conclusion of primitive actions which take place over a period of time The synchronized plan allows any and all execution sequences of the original plan which guarantee correct interaction