package
petrinet
Type Members
-
type
Arc = WLDiEdge[Node]
-
case class
Edge[T](eventAllowed: Option[String]) extends Product with Serializable
-
case class
EventTransition(event: EventDescriptor, isSensoryEvent: Boolean = true, maxFiringLimit: Option[Int] = None) extends Transition[Unit, EventDescriptor] with Product with Serializable
-
case class
InteractionTransition[I](eventsToFire: Seq[EventDescriptor], originalEvents: Seq[EventDescriptor], providedIngredientEvent: Option[EventDescriptor], requiredIngredients: Seq[IngredientDescriptor], interactionName: String, originalInteractionName: String, actionType: ActionType = ActionType.InteractionAction, predefinedParameters: Map[String, Value], maximumInteractionCount: Option[Int], failureStrategy: InteractionFailureStrategy, eventOutputTransformers: Map[String, EventOutputTransformer] = Map.empty) extends Transition[Unit, AnyRef] with Product with Serializable
-
case class
IntermediateTransition(label: String) extends Transition[Unit, Unit] with Product with Serializable
-
final
case class
Label(value: String) extends AnyVal with Product with Serializable
-
type
Labeled[T] = (T) ⇒ Label
-
implicit
class
LabeledOps[T] extends AnyRef
-
case class
MissingEventTransition[E](label: String) extends Transition[Unit, E] with Product with Serializable
-
case class
MultiFacilitatorTransition(label: String) extends Transition[Unit, Unit] with Product with Serializable
-
type
Node = Either[Place[_], Transition[_, _]]
-
case class
Place[C](label: String, placeType: PlaceType) extends Product with Serializable
-
type
RecipePetriNet = PetriNet[Place[_], Transition[_, _]]
-
trait
Transition[I, O] extends AnyRef
Value Members
-
object
Place extends Serializable
-
def
arc[C](p: Place[C], t: Transition[_, _], weight: Long, eventFilter: Option[String] = None): Arc
-
def
arc(t: Transition[_, _], p: Place[_], weight: Long): Arc
-
-
implicit
def
placeIdentifier(p: Place[_]): Id
-
implicit
def
placeLabel[C](p: Place[C]): Label
-
implicit
def
transitionIdentifier(t: Transition[_, _]): Id
-
implicit
def
transitionLabeler(t: Transition[_, _]): Label
Inherited from AnyRef
Inherited from Any