I-card and C-card

The I-card specifies information as components, and C-card specifies control as Petri net. The transitions in Petri net correspond to components.