api

Type Members

1. type Id = Long

   

   Identifier type for elements.

2. type Identifiable[T] = (T) ⇒ Id

   

   Type alias for something that is identifiable.

3. implicit class IdentifiableOps[T] extends AnyRef

   

4. implicit class IdentifiableSeqOps[T] extends AnyRef

   

5. implicit class IterableToMarking[P] extends AnyRef

   

   Definition Classes

   MarkingOps

6. type Marking[P] = Map[P, MultiSet[Any]]

   

   Type alias for a marking.

7. implicit class MarkingFunctions[P] extends AnyRef

   

   Some convenience method additions to work with Markings.

   Some convenience method additions to work with Markings.

   Definition Classes

   MarkingOps

8. implicit class MarkingMarshall[P] extends AnyRef

   

9. trait MarkingOps extends AnyRef

   

10. implicit class MarkingUnMarshall extends AnyRef

    

11. type MultiSet[T] = Map[T, Int]

    

    Type alias for a multi set.

12. implicit class MultiSetFunctions[T] extends AnyRef

    

    Definition Classes

    MultiSetOps

13. trait MultiSetOps extends AnyRef

    

14. implicit class MultiSetToMarking[P] extends AnyRef

    

    maps a MultiSet of Places to a Marking with always null values.
    Having null values here is due to the design of petrinet library which uses a ColoredPetriNet which supports tokens with values.
    Here we only know the Place and the number of tokens, but not the values, so the value is initialized to null.

    maps a MultiSet of Places to a Marking with always null values.
    Having null values here is due to the design of petrinet library which uses a ColoredPetriNet which supports tokens with values.
    Here we only know the Place and the number of tokens, but not the values, so the value is initialized to null.

    P

    Place type parameter

    returns

    Marking (state of the petrinet) with 'null' token values

    Definition Classes

    MarkingOps

15. class PetriNet[P, T] extends AnyRef

    

    Petri net class.

    Petri net class.

    Backed by a graph object from scala-graph (https://github.com/scala-graph/scala-graph)

16. type PetriNetGraph[P, T] = Graph[Either[P, T], WLDiEdge]

    

    Type alias for a petri net graph.

    Type alias for a petri net graph.

    See also: scala-graph (https://github.com/scala-graph/scala-graph

17. implicit class PetriNetGraphNodeOps[P, T] extends AnyRef