Record Types and Type Propagation

Router is available as:

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.