Petri net
Computer science
Linear temporal logic
Task (project management)
Temporal logic
Movement (music)
Artificial intelligence
Multi-agent system
Distributed computing
Theoretical computer science
Engineering
Systems engineering
Philosophy
Aesthetics