module YPetri::Simulation::Transitions::Type_a