4-Phase to 2-Phase PTnet
17/3/2014
CE-653 - Handshake Templates
Implementation
10
}
Causality Relationships
}
Rin+
causes
Rout+
OR
Rout-
}
Aout+
OR
Aout-
cause
Ain-
