Lexikon der Mathematik: Zeitnetz
ein Petri-Netz mit expliziten Zeitrestriktionen, die verschiedenen Netzelementen zugeordnet sein können.
Zeitrestriktionen können die Schaltdauer von Transitionen, ein Zeitintervall, in dem (nach Beginn der Schaltfähigkeit) eine Transition schalten darf, Verfügbarkeitsdauern und -intervalle von Marken auf einzelnen Stellen, oder Öffnungs- und Schließzeiten für Bögen spezifizieren.
Zeitnetze gehen davon aus, daß einzelne Netzelemente über Uhren verfügen, die mit den Uhren der anderen Netzelemente synchron laufen. Die Adäquatheit einer solchen Annahme für verteilte Systeme ist umstritten. Dennoch werden Zeitnetze gern zur Modellierung realer Systeme verwendet.
Schreiben Sie uns!