Petri nets: an introduction
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Temporal logics and their applications
Temporal logics and their applications
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
The Dexter hypertext reference model
Communications of the ACM
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Operational transformation in real-time group editors: issues, algorithms, and achievements
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
AHAM: a Dexter-based reference model for adaptive hypermedia
Proceedings of the tenth ACM Conference on Hypertext and hypermedia : returning to our diverse roots: returning to our diverse roots
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
The role of adaptive hypermedia in a context-aware tourist GUIDE
Communications of the ACM - The Adaptive Web
Proceedings of the 2002 ACM symposium on Document engineering
XConnector: extending XLink to provide multimedia synchronization
Proceedings of the 2002 ACM symposium on Document engineering
Multimedia Authoring with Hierarchical Timed Stream Petri Nets and Java
Multimedia Tools and Applications
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Educational applications of multi-client synchronization through improved Web graph semantics
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
XConnector and XTemplate: improving the expressiveness and reuse in web authoring languages
The New Review of Hypermedia and Multimedia - Hypermedia and the world wide web
HyperReal: a hypermedia model for mixed reality
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
AHA! The adaptive hypermedia architecture
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Browsing intricately interconnected paths
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
Self-manifestation of composite multimedia objects to satisfy security constraints
Proceedings of the 2003 ACM symposium on Applied computing
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Integrating the web and the world: contextual trails on the move
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
Structured multimedia authoring
ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)
ICMCS '96 Proceedings of the 1996 International Conference on Multimedia Computing and Systems
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
The Trellis project has investigated the structure and semantics of human-computer interaction in the context of hypertext systems. The Trellis model is defined formally using coloured timed Petri nets as the structure of a hyperprogram, and this gives the model an elegant structure that can be both programmed and analysed. In this paper, we review and reexamine the Trellis hypertext model and its implementations to identify ways in which the model can be applied in modern computing environments and to determine improvements that will enhance the usability of the implementations. We discuss issues with Trellis concerning the graphical complexity of specifications, the characteristics of mobile and Web-based environments, and the specifics of its prototypes' user interfaces and implementation platforms. Based on our analyses, we have enhanced the model and extended the earlier systems to produce a new prototype called caT (for context-aware Trellis) which provides a framework for authoring, browsing, and analysis of reasonably complex, dynamic hypertexts. We describe how caT addresses the issues identified in Trellis. We also describe the results of our small usability study of the caT system and discuss matters that we continue to investigate.