A Hypermedia Basis for the Specification, Documentation, Verification, and Prototyping of Concurrent Protocols

This paper presents the definition of a new Trellis model, an expansion of earlier models, that incorporates colored tokens into the previously-described timed-Petri-net-based definition.