Labeled Petri net, Labelled Petri net

Labeled Petri net, Labelled Petri net --- помеченная сеть Петри.

Let [math]\displaystyle{ A }[/math] be an alphabet of action labels. An labelled Petri net is a pair [math]\displaystyle{ (N,L) }[/math], where [math]\displaystyle{ N }[/math] is a Petri net and [math]\displaystyle{ L: T \rightarrow A\bigcup \{e\} }[/math] assigns to each transition either an action label or the empty string.