petrinet

Type Members

1. type Arc = WLDiEdge[Node]

   

   Type alias for the edge type of the scalax.collection.Graph backing the petri net.

2. case class Edge(eventAllowed: Option[String]) extends Product with Serializable

   

3. case class EventTransition(event: EventDescriptor, isSensoryEvent: Boolean = true, maxFiringLimit: Option[Int] = None) extends Transition with Product with Serializable

   

   Transition providing data from an event.

4. case class InteractionTransition(eventsToFire: Seq[EventDescriptor], originalEvents: Seq[EventDescriptor], requiredIngredients: Seq[IngredientDescriptor], interactionName: String, originalInteractionName: String, predefinedParameters: Map[String, Value], maximumInteractionCount: Option[Int], failureStrategy: InteractionFailureStrategy, eventOutputTransformers: Map[String, EventOutputTransformer] = Map.empty) extends Transition with Product with Serializable

   

   A transition that represents an Interaction

5. case class IntermediateTransition(label: String) extends Transition with Product with Serializable

   

6. case class MissingEventTransition(label: String) extends Transition with Product with Serializable

   

7. case class MultiFacilitatorTransition(label: String) extends Transition with Product with Serializable

   

8. type Node = Either[Place, Transition]

   

   Type alias for the node type of the scalax.collection.Graph backing the petri net.

9. case class Place(label: String, placeType: PlaceType) extends Product with Serializable

   

10. type RecipePetriNet = PetriNet[Place, Transition]

    

    Type alias for a petri net with recipe Place and Transition types

11. trait Transition extends AnyRef