dsl

Value Members

1. def arc[C](p: Place[C], t: Transition[_, _, _], weight: Long, filter: (C) ⇒ Boolean = (token: C) ⇒ true): Arc

   

2. def arc(t: Transition[_, _, _], p: Place[_], weight: Long): Arc

   

3. def constantTransition[I, O, S](id: Long, label: String, isManaged: Boolean = false, constant: O): AbstractTransition[I, O, S] { ... /* 2 definitions in type refinement */ }

   

4. def nullTransition[S](id: Long, label: String, automated: Boolean = false): AbstractTransition[Unit, Unit, S] { ... /* 2 definitions in type refinement */ }

   

5. def process[S](params: Arc*)(implicit ec: ExecutionContext): ExecutablePetriNet[S]