Petrex.Place (petrex v1.0.0)

Copy Markdown View Source

A place of a Petri net.

id is the place's identifier (an atom or a string) and name an optional human-readable label, carried through PNML as the <name> element.

Summary

Types

Opaque interchange elements kept for round-tripping; see Petrex.PNML.

t()

Types

extra()

@type extra() :: [term()]

Opaque interchange elements kept for round-tripping; see Petrex.PNML.

id()

@type id() :: atom() | String.t()

t()

@type t() :: %Petrex.Place{extra: extra(), id: id(), name: String.t() | nil}