package
petrinet
Type Members
-
type
Arc = WLDiEdge[Node]
-
case class
EventTransition(event: EventType, isSensoryEvent: Boolean = true, maxFiringLimit: Option[Integer] = None) extends Transition[Unit, EventType] with Product with Serializable
-
case class
InteractionTransition[I](eventsToFire: Seq[EventType], originalEvents: Seq[EventType], providedIngredientEvent: Option[EventType], requiredIngredients: Seq[(String, Type)], interactionName: String, originalInteractionName: String, actionType: ActionType = ActionType.InteractionAction, predefinedParameters: Map[String, Any], maximumInteractionCount: Option[Int], failureStrategy: InteractionFailureStrategy, eventOutputTransformers: Map[EventType, 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
PTEdge[T](weight: Long, filter: (T) ⇒ Boolean) extends Product with Serializable
-
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, filter: (C) ⇒ Boolean = (token: C) ⇒ true): 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