modelverse/integration/code/initialize_PN.mvc

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