From 23dcba5955b3d03c47c0a0fa3530955eedd23a63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Tue, 9 Apr 2019 17:40:18 +0200
Subject: [PATCH] add placeholder in new behavior/ module

---
 behavior/README.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 behavior/README.md

diff --git a/behavior/README.md b/behavior/README.md
new file mode 100644
index 000000000..994d4961a
--- /dev/null
+++ b/behavior/README.md
@@ -0,0 +1,7 @@
+The behavior directory/module collects all definitions and theories about system behavior (i.e., trace-based semantics).
+
+Any aspects related to system *modeling* (e.g., sporadic tasks, arrival curves, etc.) do *not* belong here and should go into the *model* directory/module instead. 
+
+This is a work-in-progress directory and part of the larger Prosa restructuring effort. As parts in Prosa a changed to comply with the “new style”, they are placed here. 
+
+
-- 
GitLab