modelverse/models/epn_print.alc

include "primitives.alh"
include "modelling.alh"
include "object_operations.alh"

Boolean function pn_print(model : Element):
	Element all_places
	String place
	String name
	Integer tokens
	Element all_t
	String t

	log("Places:")
	all_places = allInstances(model, "Encapsulated_PetriNet/Place")
	while (read_nr_out(all_places) > 0):
		place = set_pop(all_places)
		name = read_attribute(model, place, "name")
		tokens = read_attribute(model, place, "tokens")

		log((("  " + name) + ": ") + cast_v2s(tokens))

	log("Transitions:")
	all_places = allInstances(model, "Encapsulated_PetriNet/Transition")
	while (read_nr_out(all_places) > 0):
		place = set_pop(all_places)
		name = read_attribute(model, place, "name")

		log("  " + name)

		all_t = allIncomingAssociationInstances(model, place, "Encapsulated_PetriNet/P2T")
		while (read_nr_out(all_t) > 0):
			t = set_pop(all_t)
			log("    <-- " + cast_v2s(read_attribute(model, readAssociationSource(model, t), "name")))
		all_t = allOutgoingAssociationInstances(model, place, "Encapsulated_PetriNet/T2P")
		while (read_nr_out(all_t) > 0):
			t = set_pop(all_t)
			log("    --> " + cast_v2s(read_attribute(model, readAssociationDestination(model, t), "name")))

	log("Ports:")
	all_places = allInstances(model, "Encapsulated_PetriNet/Port")
	while (read_nr_out(all_places) > 0):
		place = set_pop(all_places)
		name = read_attribute(model, place, "name")

		log("  " + name)

	return True!