TSPN[sub UI]: a petri net model for specifying user interactions in multimedia presentations

TSPN[sub UI]: a petri net model for specifying user interactions in multimedia presentations

Show other versions (1)

The first objective of this thesis is to analyze and group the synchronization requirements for a generic, distributed, multimedia presentation application [Gon95a]. The purpose of this analysis work is to determine what synchronization requirements a general purpose specification approach for di...

Full description

Bibliographic Details
Main Author:	Cooper, Kendra M. L.
Language:	English
Published:	2009
Online Access:	http://hdl.handle.net/2429/4042

Similar Items

TSPN[sub UI]: a petri net model for specifying user interactions in multimedia presentations
by: Cooper, Kendra M. L.
Published: (2009)

User Interactive Multimedia Presentation Model - Using Petri Nets
by: Chen, chia lin, et al.
Published: (1997)

Synchronization Models for Interactive Multimedia Presentation Using Timed Petri Net
by: Yuan Line Wen, et al.
Published: (1999)

Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
by: Remigiusz Wisniewski, et al.
Published: (2020-09-01)

On a Function Representation in an Imperative Program Model Specified by Petri Nets
by: G. V. Tarasov, et al.
Published: (2011-06-01)

A Petri-Net-Based synchronization model for multimedia database
by: HAN, JIA-HUI, et al.
Published: (1992)

The Study of Multimedia Hypermedia Petri-Net Data Model and Editor
by: Shing-Tarng Jaw, et al.
Published: (1994)

Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets
by: D. M. Beloglazov, et al.
Published: (2011-12-01)

The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts
by: S. A. Chernenok, et al.
Published: (2018-10-01)

Applying Petri-net to Establish User Behavior
by: Chen-Chieh,Yeh, et al.
Published: (2007)

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets
by: Remigiusz Wisniewski, et al.
Published: (2019-01-01)

Dynamic Partial Reconfiguration of Concurrent Control Systems Specified by Petri Nets and Implemented in Xilinx FPGA Devices
by: Remigiusz Wisniewski
Published: (2018-01-01)

Modeling by Petri Nets
by: H. Kubátová
Published: (2005-01-01)

Modeling of Multiple User Virtual Reality System with Petri Net Technique
by: Lee, Ai-Jye, et al.
Published: (1997)

User Authentication Protocols in Wireless Networks with Petri Net Verification
by: Tseng, Huei-Ru, et al.
Published: (2010)

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter
by: Remigiusz Wisniewski, et al.
Published: (2019-09-01)

Petri Nets Applications
Published: (2010)

Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
by: V. O. Ermakova, et al.
Published: (2018-10-01)

Petri Net Theory and Applications
Published: (2008)

Functorial Models for Petri Nets
by: Bruni, R., et al.
Published: (2001)

Petri nets and their applications
by: Jin, Wei
Published: (2011)

Petri net semantics
by: Hayman, Jonathan Mark
Published: (2010)

Modelling an Interactive Road Signs System, Using Petri Nets
by: Kombe Timothee, et al.
Published: (2017-03-01)

Petri Nets Manufacturing and Computer Science
Published: (2012)

Specifying the ubiquitous user interface using interaction style
by: Gilroy, Stephen William
Published: (2005)

Extracting Petri Modules From Large and Legacy Petri Net Models
by: Reggie Davidrajuh
Published: (2020-01-01)

On the modeling of infinite counters by ordinary Petri nets
by: L. V. Dvoryansky
Published: (2018-10-01)

Coloured Petri Nets for object-oriented modelling
by: English, Sarah L.
Published: (1993)

PetriNet Editor PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation<sup>+</sup>
by: Erik Kučera, et al.
Published: (2020-10-01)

Advances in Petri Net Theory and Applications
Published: (2010)

Modeling of economic systems with Petri nets
by: Pavel Valeryevich Skorodumov
Published: (2014-09-01)

On the Modeling of Signaling Networks with Petri Nets
by: Berestovsky, Natalia Sergeevna
Published: (2012)

Petri Net for Modeling Dynamic System
by: Ally Wang, et al.
Published: (2000)

PETRI NETS MODELING FOR SDN TOPOLOGIES
by: AMEEN, Ali, et al.
Published: (2021-06-01)

Evaluations of Information system End-user Operation Procedures by Using Petri Net
by: Wan-Ming Hsueh, et al.
Published: (2010)

The Study of VR Description Tools Using Petri Net -A Case Study on User Roaming and Objects Interactions
by: Hsin-Wei Su, et al.
Published: (2002)

System analysis and protocol verification by an interactive Petri net package.
by: Qiu, Xiaoling.
Published: (2009)

Ordinary Petri Net Matrices
by: Staines Anthony Spiteri
Published: (2019-01-01)

Synthesis of Petri Nets with Localities
by: M. Koutny, et al.
Published: (2009-12-01)

On Categories of Fuzzy Petri Nets
by: Arun K. Srivastava, et al.
Published: (2011-01-01)