Calculates petrinet marking based on supplied input designations.