Learn More
ion rule, 137 activated T-component, 107 allocation, 73 allocated transition, 73 Allocation Lemma, 74 circuit-free allocation, 76 Circuit-free Allocation Lemma, 76 cyclic, 102 Cyclic Allocation(More)