Type Members

1.  type Arc = WLDiEdge[Node]

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

2.  type ColoredPetriNet = PetriNet[Place[_], Transition[_, _]]

   Type alias for a colored petri net.

3.  type Node = Either[Place[_], Transition[_, _]]

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

4.  case class Place [Color](id: Long, label: String) extends Product with Serializable

   A Place in a colored petri net.

5.  implicit class PlaceDSL [C] extends AnyRef
6.  trait SequenceNet [S, E] extends StateTransitionNet[S, E]
7.  case class StateTransition [S, E](id: Long, label: String, isAutomated: Boolean, exceptionStrategy: TransitionExceptionHandler, produceEvent: (S) ⇒ Task[E]) extends Transition[Unit, E] with Product with Serializable
8.  trait StateTransitionNet [S, E] extends AnyRef
9.  trait Transition [Input, Output] extends AnyRef

   A transition in a Colored Petri Net

   A transition in a Colored Petri Net

   Input

   The input type of the transition, the type of value that is required as input

   Output

   The output type of the transition, the type of value that this transition 'emits' or 'produces'

10.  case class TransitionBehaviour [S, E](automated: Boolean, exceptionHandler: TransitionExceptionHandler, fn: (S) ⇒ E) extends Product with Serializable
11.  implicit class TransitionDSL [Input, Output, State] extends AnyRef