scala-smfsb/smfsb/Spn

Spn

sealed trait Spn[S]

Main trait for stochastic Petri nets (SPNs)

class Object
trait Matchable
class Any
class MarkedSpn[S]
class UnmarkedSpn[S]

Value members

Abstract methods

def h: (S, Time) => HazardVec
def post: DenseMatrix[Int]
def pre: DenseMatrix[Int]
def species: List[String]