In: 4 Working Conference, 1988, Linz, Austria: Office Information Systems, The Design Process: Proceedings of the IFIP WG 8, pages 239-253. Amsterdam: North-Holland, 1989.
Abstract: Conversational systems are a kind of group support systems where the underlying paradigm conceives of cooperation as a formalized language game. In this paper, the authors prove that conversations of a certain type which is employed for monitoring actions in office procedures, are free of deadlocks and always terminate consistently. This is done by modeling the conversation type as a high-level Petri net and showing the desired properties through exhaustive simulation.