2.5.1 Markenarten

Sie können mit dieser Option die Beschaffenheit der Marken bestimmen.

<B> black (indistinguishable) tokens

Hiermit wählen Sie die Arbeit mit Platz/Transitionsnetzen an. Die Markierung des Netzes besteht aus schwarzen ununterscheidbaren Marken [Sta90, Definition 2.2 (23)].

<C> coloured tokens

Mit dieser Einstellung arbeiten Sie mit gefärbten Netzen. Sie haben die Möglichkeit, mit farbigen, d.h. unterscheidbaren Marken zu arbeiten [Sta90, Kapitel 20 (222-235)]. Beachten Sie: Gefärbte Netze können mit INA nicht reduziert werden!

Sollten Sie die Markenart eines gefärbten Netzes auf ununterscheidbare Marken gesetzt haben, so fragt INA Forget the colour structure? und bei positiver Antwort werden die Farben gelöscht [Sta90, Definition 20.3 (226)]. Vorsicht: Dabei können Informationen über das Netz verloren gehen!

Ändern Sie dagegen die Markenart umgekehrt, erscheint die Frage, ob Sie das Netz falten möchten: Fold the Net? Bei Eingabe von <Y> müssen Sie angeben, wie INA dabei vorgehen soll. Der Tabelle können Sie die Auswahlmöglichkeiten entnehmen [Sta90, Definition 20.2 und Bemerkung (225)]:

Faltungsart	nötige Eingabe	Wirkung
1-place;1-transition CPN	<A>	maximale Faltung
by hand	<B>	nutzerbestimmte Faltung
trivially coloured CPN	<C>	keine Faltung