Communications reduction using simultaneous program execution
Communications reduction using simultaneous program execution
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements
International Workshop on Timed Petri Nets
| Hi-index | 0.00 |
During a computer conference, users desire to view the same computer generated information and displays. This is often accomplished by communicating this information over wideband links to provide real-time displays. A concept was developed for communicating inputs (e.g., keystrokes) instead of outputs (e.g., displays). Techniques were designed to allow two computers to execute the same application program, get the same inputs at the same relative point in their execution, and produce the same outputs. Models were created to describe and analyze the way in which inputs are entered into executing programs. Protocols were written to distribute and synchronize the inputs between the computers. Petri nets were used to validate the synchronization of the inputs. Timing analysis was performed to guarantee simultaneity in execution.