I-card and C-card

In the C-card, transitions corresponding to super-components can be expanded into parallel/serial Petri nets