In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Trellis to de ne protocols for Computer Supported Cooperative Work (CSCW). We then explain an interesting analog to procedure call we have developed for subdocument invocation in collaborative hyperdocuments. Trellis prototype implementations are based around a client-server architecture and interpret their speci cations. Consequently they provide an environment for the rapid prototyping and incremental development of multi-user distributed protocols.
Richard Furuta, Jaime Navon, P. David Stotts