UnmarkedSpn
case class UnmarkedSpn[S](species: List[String], pre: DenseMatrix[Int], post: DenseMatrix[Int], h: (S, Time) => HazardVec)(implicit evidence$1: State[S]) extends Spn[S]
Case class for SPNs without an initial marking
Case class for SPNs without an initial marking