Record Types and Type Propagation
This model illustrates the very sophisticated type system
in Ptolemy II, where type constraints propagate transparently.
This example illustrates composite types, where records are
constructed out of tokens with various types. Here, a record
models a packet in a packet-switched network, where variable
delays may result in out-of-order arrival of packets.
The block diagram
for the model was constructed using the Ptolemy II schematic editor
called Vergil.