Temporální sítě s alternativami: složitost a model

Abstrakt

Článek popisuje rozšíření temporálních sítí o možnost paralelních a alternativních větvení a ukazuje, že problém zjištění validity uzlů je zde NP-úplný.

Klíčová slova

• Temporal
• Networks
• Alternatives
• Complexity
• Model