In: ACM Transactions on Information Systems, Vol. 7, No. 1, pages 3-29. January 1989.
Abstract: The authors present a formal definition of the Trellis model of hypertext. The Trellis model not only represents the relationships that tie individual pieces of information together into a document, but specifies the browsing semantics to be associated with the hypertext as well. The model is based on Petri nets and permits more powerful specification of what is to be displayed when a hypertext is browsed. The application of previously developed Petri net analysis techniques is possible.