modelverse/integration/code/pn_runtime_model.mvc

import models/PetriNets_Runtime as PetriNets_Runtime

PetriNets_Runtime pn {
	Place p1 {
		tokens = 1
        name = "p1"
	}
	Place p2 {
		tokens = 2
        name = "p2"
	}
	Place p3 {
		tokens = 3
        name = "p3"
	}
	Transition t1 {
		executing = False
	}
	P2T (p1, t1) {
		weight = 1
	}
	P2T (p2, t1) {
		weight = 1
	}
	T2P (t1, p3) {
		weight = 2
	}
}

export pn to models/pn