Skip to content

Is there a function already to generate Petri.Model from LabelledPetriNet? #907

Is there a function already to generate Petri.Model from LabelledPetriNet?

Is there a function already to generate Petri.Model from LabelledPetriNet? #907