modelverse/models/initialize.mvc

PetriNets_RAM initialize {
    Composite schedule {
        {Contains} Success success {}
    }
    Initial (schedule, success) {}
}