modelverse/integration/code/pn_print.mvc

import models/RAM_PetriNets_Runtime as RAM_PN_R
include "primitives.alh"
include "modelling.alh"

RAM_PN_R print {
    Composite schedule {
        {Contains} Success success {}
        {Contains} ForAll print_tokens {
            LHS {
                Pre_PetriNets/Place {
                    label = "0"
                }
            }
            RHS {
                Post_PetriNets/Place {
                    label = "0"
                    action = $
                        Void function action(model : Element, name : String, mapping : Element):
                            output((cast_v2s(read_attribute(model, name, "name")) + " --> ") + cast_v2s(read_attribute(model, name, "tokens")))
                            return!
                        $
                }
            }
        }
    }
    OnSuccess (print_tokens, success) {}
    OnFailure (print_tokens, success) {}
    Initial (schedule, print_tokens) {}
}

export print to models/pn_print