maps a MultiSet of Places to a Marking with always null values.
Having null values here is due to the design of petrinet library which uses a ColoredPetriNet which supports tokens with values.
Here we only know the Place and the number of tokens, but not the values, so the value is initialized to null.
P
Place type parameter
returns
Marking (state of the petrinet) with 'null' token values
maps a MultiSet of Places to a Marking with always null values.
Having null values here is due to the design of petrinet library which uses a ColoredPetriNet which supports tokens with values.
Here we only know the Place and the number of tokens, but not the values, so the value is initialized to null.
Place type parameter
Marking (state of the petrinet) with 'null' token values