Vol-642⫷ Vol-643 ⫸Vol-644
urn:nbn:de:0074-643-0


None⫷None⫸None

Computation of Enabled Transition Instances for Colored Petri Nets