Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase3' into 'master'
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Tue, 28 Feb 2023 15:59:29 +0000 (15:59 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Tue, 28 Feb 2023 15:59:29 +0000 (15:59 +0000)
Phase 2.5 of UDPOR Integration: Add Iterators for Subsets

See merge request simgrid/simgrid!134

15 files changed:
.mailmap
MANIFEST.in
docs/source/Design_goals.rst
docs/source/Introduction.rst
docs/source/Models.rst
docs/source/Release_Notes.rst
docs/source/Start_your_own_project.rst
docs/source/Tutorial_Model-checking.rst
docs/source/img/design-scheduling-parallel.svg [new file with mode: 0644]
docs/source/img/design-scheduling-simulatedtime.svg [new file with mode: 0644]
docs/source/img/design-scheduling-wallclock.svg [new file with mode: 0644]
docs/source/index.rst
examples/sthread/pthread-producer-consumer.c
examples/sthread/pthread-producer-consumer.tesh
tools/cmake/DefinePackages.cmake

index f7f551c..5efced4 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -85,6 +85,7 @@ Christian Heinrich <franz-christian.heinrich@inria.fr> <christian@gladbachcity.d
 Jean-Baptiste Hervé <jean-baptiste.herve@esial.net>
 Takahiro Hirofuchi <t.hirofuchi+sg@aist.go.jp> <thirofuchi@debian.(none)>
 Sascha Hunold <sascha@uni-hd.de> <sahu@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
+Mathieu Laurent <mathieu.laurent@ens-rennes.fr>
 Adrien Lèbre <adrien.lebre@inria.fr>
 Adrien Lèbre <adrien.lebre@inria.fr> <alebre@adsein-4.local>
 Adrien Lèbre <adrien.lebre@inria.fr> <alebre@adsein.local>
index 5a933a3..6504478 100644 (file)
@@ -1676,6 +1676,9 @@ include docs/source/app_smpi.rst
 include docs/source/application.rst
 include docs/source/community.rst
 include docs/source/conf.py
+include docs/source/img/design-scheduling-parallel.svg
+include docs/source/img/design-scheduling-simulatedtime.svg
+include docs/source/img/design-scheduling-wallclock.svg
 include docs/source/img/eclipseScreenShot.png
 include docs/source/img/extlink.png
 include docs/source/img/extlink.svg
index 70e120c..572f9ff 100644 (file)
@@ -1,3 +1,5 @@
+.. _design:
+
 SimGrid's Design Goals
 ######################
 
@@ -32,7 +34,8 @@ The design of SimGrid is shaped by several design goals:
    the exact same outcome, even if it runs on another computer or
    operating system. When possible, this should also be true when you
    use another version of SimGrid.
- - **speed**: running a given simulation should be as fast as possible
+ - **sweet spot between accuracy and simulation speed**: running a given simulation should be as fast as possible but predict
+   correct performance trends (or even provide accurate predictions when correctly calibrated).
  - **versatility**: ability to simulate many kinds of distributed systems
    and resource models. But the simulation should be parsimonious too,
    to not hinder the tool's usability. SimGrid tries to provide sane
@@ -68,6 +71,10 @@ rounds, so all events occurring during a given scheduling round occur
 at the exact same simulated timestamp, even if the actors are usually
 executed sequentially on the real platform.
 
+.. image:: img/design-scheduling-simulatedtime.svg
+   :scale: 80%
+   :align: center
+
 To modify their environment, the actors issue either **immediate
 simcalls** that take no time in the simulation (e.g.: spawning another
 actor), or **blocking simcalls** that must wait for future events (e.g.:
@@ -93,52 +100,43 @@ boost's context, or our own hand-tuned implementation, that is written
 in assembly language. This is possible because a given actor is never
 interrupted between consecutive simcalls in SimGrid.
 
-For the sake of performance, actors can be executed in parallel using
-several system threads for non-preemptive contexts. But in our
-experience, this rarely leads to any performance improvement because
-most applications simulated on top of SimGrid are fine-grained: when
-the simulation performance really matters, the users tend to abstract
-away any large computations to efficiently simulate the control flow
-of their application. In addition, parallel simulation puts unpleasant
-restrictions on the user code, that must be correctly isolated. To be
-honest, most of the existing SMPI implementation cannot be used in
-parallel yet.
+.. image:: img/design-scheduling-wallclock.svg
+   :scale: 80%
+   :align: center
+
+For the sake of performance, actors can be executed in parallel using several system threads which execute all actors in
+turn. But in our experience, this rarely leads to any performance improvement because most applications simulated on top of
+SimGrid are fine-grained: it's often not worth simulating actors in parallel because the amount of work of each actor is too
+small. This is because the users tend to abstract away any large computations to efficiently simulate the control flow of their
+application. In addition, parallel simulation puts unpleasant restrictions on the user code, that must be correctly isolated.
+For example, the existing SMPI implementation cannot be used in parallel yet.
+
+.. image:: img/design-scheduling-parallel.svg
+   :scale: 80%
+   :align: center
 
 Parsimonious model versatility
 ******************************
 
-Another orthogonal crux of the SimGrid design is the parsimonious
-versatility in modeling. For that, we tend to unify all resource and
-activity kinds. As you have seen, we parallel the classical notion of
-**computational power** with the more original **communication power** and
-**I/O power**. Asynchronous executions are less common than the
-asynchronous communications that proliferate in MPI but they are still
-provided for sake of symmetry: they even prove useful to efficiently
-simulate thread pools. Note that asynchronous mutex locking is still to be
-added to SimGrid atm. The notion of **pstate** was introduced to model
-the stepwise variation of computational speed depending on the DVFS,
-and was reused to model the bootup and shutdown phases of a CPU: the
-computational speed is 0 at these specific pstates. This pstate notion
-was extended to represent the fact that the bandwidth provided by a
-wifi link to a given station depends on its signal-noise ratio (SNR).
-
-Further on this line, all provided resource models are very comparable
-internally. They rely on linear inequation systems, stating for
-example that the sum of the computational power received by all
-computation activities located on a given CPU cannot overpass the
-computational power provided by this resource. This extends nicely to
-multi-resources activities such as communications using several links,
-and also to the so-called parallel tasks (abstract activities
-representing a parallel execution kernel consuming both the
-communication and computational power of a set of machines). Specific
-coefficients are added to the linear system to reflect how the real
-resources are shared between concurrent usages. The resulting system
-is then solved using a max-min objective function that maximizes the
-minimum of all shares allocated to activities. Our experience shows
-that this approach can successfully be used for fast yet accurate
-simulations of complex phenomena, provided that the model's
-coefficients and constants are carefully tailored and instantiated to
-that phenomenon.
+Another orthogonal crux of the SimGrid design is the parsimonious versatility in modeling. For that, we tend to unify all
+resource and activity kinds. As you have seen, we parallel the classical notion of **computational power** with the more
+original **communication power** and **I/O power**. Asynchronous executions are less common than the asynchronous communications
+that proliferate in MPI but they are still provided for sake of symmetry: they even prove useful to efficiently simulate thread
+pools. SimGrid also provides asynchronous mutex locks for symmetry. The notion of **pstate** was introduced to model the
+stepwise variation of computational speed depending on the DVFS, and was reused to model the bootup and shutdown phases of a
+CPU: the computational speed is 0 at these specific pstates. This pstate notion was extended to represent the fact that the
+bandwidth provided by a wifi link to a given station depends on its signal-noise ratio (SNR).
+
+Further on this line, all provided resource models are very comparable internally. They :ref:`rely on linear inequation systems
+<models-lmm>`, stating for example that the sum of the computational power received by all computation activities located on a
+given CPU cannot overpass the computational power provided by this resource. This extends nicely to multi-resources activities
+such as communications using several links, and also to the so-called parallel tasks (abstract activities representing a
+parallel execution kernel consuming both the communication and computational power of a set of machines) or fluid I/O streams
+(abstract activities representing a data stream from disk to disk through the network). Specific coefficients are added to the
+linear system to reflect how the real resources are shared between concurrent usages. The resulting system is then solved using
+a max-min objective function that maximizes the minimum of all shares allocated to activities. Our experience shows that this
+approach can successfully be used for fast yet accurate simulations of complex phenomena, provided that the model's coefficients
+and constants are carefully :ref:`calibrated <models_calibration>`, i.e. tailored and instantiated to that phenomenon.
 
 Model-checking
 **************
@@ -168,6 +166,5 @@ Reduction (DPOR)
 <https://en.wikipedia.org/wiki/Partial_order_reduction>`_ and `state
 equality <https://hal.inria.fr/hal-01900120/document>`_.
 
-Mc SimGrid is far more experimental than other parts of the framework,
-such as SMPI that can now be used to run many full-featured MPI codes
-out of the box.
+Mc SimGrid is more experimental than other parts of the framework, such as SMPI that can now be used to run many full-featured
+MPI codes out of the box, but it's constently improving.
index 27dab2e..0f85750 100644 (file)
@@ -9,193 +9,78 @@ Introduction
    <br/>
    <br/>
 
-Main Concepts
--------------
+What is SimGrid
+---------------
+
+SimGrid is a framework for developing simulators of distributed applications targeting distributed platforms, which can in turn
+be used to prototype, evaluate and compare relevant platform configurations, system designs, and algorithmic approaches.
 
 Typical Study based on SimGrid
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+------------------------------
 
-Any SimGrid study entails the following components:
+Here are some questions on which SimGrid is particularly relevant:
 
- - The studied **application**. This can be either a distributed
-   algorithm described in our simple APIs or a full-featured real
-   parallel application using for example the MPI interface
-   :ref:`(more info) <application>`.
-
- - The **simulated platform**. This is a description of a given
-   distributed system (machines, links, disks, clusters, etc). Most of
-   the platform files are written in XML but a new C++ programmatic
-   interface has recently been introduced. SimGrid makes it easy to
-   augment the Simulated Platform with a Dynamic Scenario where for
-   example the links are slowed down (because of external usage) or the
-   machines fail. You even have support to specify the applicative
-   workload that you want to feed to your application
-   :ref:`(more info) <platform>`.
-
- - The application's **deployment description**. In SimGrid
-   terminology, the application is an inert set of source files and
-   binaries. To make it run, you have to describe how your application
-   should be deployed on the simulated platform. You need to specify
-   which process is mapped onto which machine, along with their parameters
-   :ref:`(more info) <scenario>`.
-
- - The **platform models**. They describe how the simulated platform
-   reacts to the actions of the application. For example, they compute
-   the time taken by a given communication on the simulated platform.
-   These models are already included in SimGrid, and you only need to
-   pick one and maybe tweak its configuration to get your results
-   :ref:`(more info) <models>`.
-
-These components are put together to run a **simulation**, that is an
-experiment or a probe. Simulations produce **outcomes** (logs,
-visualization, or statistical analysis) that help to answer the
-**question** targeted by this study.
+ - **Compare an Application to another**. This is a classical use case for scientists, who use SimGrid to test how their
+   contributed solution compares to the existing solutions from the literature.
 
-Here are some questions on which SimGrid is particularly relevant:
+ - **Design the best [Simulated] Platform for a given Application.** Tweaking the platform file is much easier than building a
+   new real platform for testing purposes. SimGrid also allows for the co-design of the platform and the application by
+   modifying both of them.
 
- - **Compare an Application to another**. This is the classical use
-   case for scientists, who use SimGrid to test how the solution that
-   they contribute to compares to the existing solutions from the
-   literature.
-
- - **Design the best [Simulated] Platform for a given Application.**
-   Tweaking the platform file is much easier than building a new real
-   platform for testing purposes. SimGrid also allows for the co-design
-   of the platform and the application by modifying both of them.
-
- - **Debug Real Applications**. With real systems, is sometimes
-   difficult to reproduce the exact run leading to the bug that you
-   are tracking. With SimGrid, you are *clairvoyant* about your
-   *reproducible experiments*: you can explore every part of the
-   system, and your probe will not change the simulated state. It also
-   makes it easy to mock some parts of the real system that are not
-   under study.
-
-Depending on the context, you may see some parts of this process as
-less important, but you should pay close attention if you want to be
-confident in the results coming out of your simulations. In
-particular, you should not blindly trust your results but always
-strive to double-check them. Likewise, :ref:`you should question the
-realism of your input configuration <howto_calibration>`, and we even
-encourage you to :ref:`doubt (and check) the provided performance models
-<howto_science>`.
-
-To ease such questioning, you really should logically separate these
-parts in your experimental setup. It is seen as a very bad practice to
-merge the application, the platform, and the deployment altogether.
-SimGrid is versatile and your mileage may vary, but you should start
-with your Application specified as a C++ or Python program, using one of
-the provided XML platform files, and with your deployment in a separate
-XML file.
-
-SimGrid Execution Modes
-^^^^^^^^^^^^^^^^^^^^^^^
-
-Depending on the intended study, SimGrid can be run in several execution modes.
-
-**Simulation Mode**. This is the most common execution mode, where you want
-to study how your application behaves on the simulated platform under
-the experimental scenario.
-
-In this mode, SimGrid can provide information about the time taken by
-your application, the amount of energy dissipated by the platform to
-run your application, and the detailed usage of each resource.
-
-**Model-Checking Mode**. This can be seen as a sort of exhaustive
-testing mode, where every possible outcome of your application is
-explored. In some sense, this mode tests your application for all
-possible platforms that you could imagine (and more).
-
-You just provide the application and its deployment (number of
-processes and parameters), and the model checker will
-explore all possible outcomes by testing all possible message
-interleavings: if at some point a given process can either receive the
-message A first or the message B depending on the platform
-characteristics, the model checker will explore the scenario where A
-arrives first, and then rewind to the same point to explore the
-scenario where B arrives first.
-
-This is a very powerful mode, where you can evaluate the correctness of
-your application. It can verify either **safety properties** (assertions)
-or **liveness properties** stating for example that if a given event
-occurs, then another given event will occur in a finite amount of
-steps. This mode is not only usable with the abstract algorithms
-developed on top of the SimGrid APIs, but also with real MPI
-applications (to some extent).
-
-The main limit of Model Checking lies in the huge amount of scenarios
-to explore. SimGrid tries to explore only non-redundant scenarios
-thanks to classical reduction techniques (such as DPOR and stateful
-exploration) but the exploration may well never finish if you don't
-carefully adapt your application to this mode.
-
-A classical trap is that the Model Checker can only verify whether
-your application fits the properties provided, which is useless if you
-have a bug in your property. Remember also that one way for your
-application to never violate a given assertion is to not start at all,
-because of a stupid bug.
-
-Another limit of this mode is that it does not use the performance
-models of the simulation mode. Time becomes discrete: You can say for
-example that the application took 42 steps to run, but there is no way
-to know how much time it took or the number of watts that were dissipated.
-
-Finally, the model checker only explores the interleavings of
-computations and communications. Other factors such as thread
-execution interleaving are not considered by the SimGrid model
-checker.
-
-The model checker may well miss existing issues, as it computes the
-possible outcomes *from a given initial situation*. There is no way to
-prove the correctness of your application in full generality with this
-tool.
-
-**Benchmark Recording Mode**. During debug sessions, continuous
-integration testing, and other similar use cases, you are often only
-interested in the control flow. If your application applies filters to
-huge images split into small blocks, the filtered image is probably not
-what you are interested in. You are probably looking for a way to run
-each computational kernel only once, and record the time it takes to cache it.
-This code block can then be skipped in simulation
-and replaced by a synthetic block using the cached information. The
-simulated platform will take this block into account without requesting
-the actual hosting machine to benchmark it.
+ - **Debug Real Applications**. With real systems, is sometimes difficult to reproduce the exact run leading to the bug that you
+   are tracking. With SimGrid, you are *clairvoyant* about your *reproducible experiments*: you can explore every part of the
+   system, and your probe will not change the simulated state. It also makes it easy to mock some parts of the real system that
+   are not under study.
 
-SimGrid Limits
-^^^^^^^^^^^^^^
+ - **Formally assess an algorithm**. Inspirated from model checking, this execution mode does not use the performance models to
+   determine the application outcome, but instead explore all causally possible outcomes of your application. This exhaustive
+   search is perfect to find bugs that are difficult to trigger otherwise, but it will probably not manage to completely cover
+   large applications.
 
-This framework is by no means the holy grail, able to solve
-every problem on Earth.
+Any SimGrid study entails the following components:
 
-**SimGrid scope is limited to distributed systems.** Real-time
-multi-threaded systems are out of this scope. You could probably tweak
-SimGrid for such studies (or the framework could be extended
-in this direction), but another framework specifically targeting such a
-use case would probably be more suited.
+ - The studied **application**. This can be either a distributed algorithm described in our simple API (either in C++, Python or
+   C) or a full-featured real parallel application using for example the MPI interface :ref:`(more info) <application>`.
 
-**There is currently no support for 5G or LoRa networks**.
-The framework could certainly be improved in this direction, but this
-still has to be done.
+ - The **simulated platform**. This is a description (in either XML or C++) of a given distributed system (machines, links,
+   disks, clusters, etc). SimGrid makes it easy to augment the simulated platform with a dynamic scenario where for example the
+   links are slowed down (because of external usage) or the machines fail. You even have support to specify the applicative
+   workload that you want to feed to your application :ref:`(more info) <platform>`.
 
-**There is no perfect model, only models adapted to your study.** The SimGrid
-models target fast and large studies, and yet they target realistic results. In
-particular, our models abstract away parameters and phenomena that are often
-irrelevant to reality in our context.
+ - The application's **deployment description**. To run your application, you have to describe how it should be deployed on the
+   simulated platform. You need to specify which process is mapped onto which machine, along with their parameters :ref:`(more
+   info) <scenario>`.
 
-SimGrid is obviously not intended for a study of any phenomenon that our
-abstraction removes. Here are some **studies that you should not do with
-SimGrid**:
+ - The **platform models**. They describe how the simulated platform reacts to the activities of the application. For example,
+   the models compute the time taken by a given communication on the simulated platform. These models are already included in
+   SimGrid, and you only need to pick one and maybe adapt its configuration to get your results :ref:`(more info) <models>`.
 
- - Studying the effect of L3 vs. L2 cache effects on your application
- - Comparing kernel schedulers and policies
- - Comparing variants of TCP
- - Exploring pathological cases where TCP breaks down, resulting in
-   abnormal executions.
- - Studying security aspects of your application, in presence of
-   malicious agents.
+These components are put together to run a **simulation**, that is an experiment or a probe. Simulations produce **outcomes**
+(logs, visualization, or statistical analysis) that help to answer the **question** targeted by your study. It provides
+information on the timing performance and the energy consumption of your application, taking network, CPU and disk resources
+into account by default, and memory can also be modeled. SimGrid differs from many other tools by accurately modeling the contention
+resulting from concurrent network usages.
+
+We work hard to make SimGrid easy to use, but you should not blindly trust your results and always strive to double-check the
+predictions. Questioning the realism of your results will lead you to better :ref:`calibrate the models <models_calibration>`,
+which is the best way to ensure accurate predictions. Please also refer to the section :ref:`howto_science`.
+
+Using SimGrid in practice
+-------------------------
+
+SimGrid is versatile and can be used in many ways, but the most typical setup is to specify your algorithm as a C++ or Python
+program using our API, along with one of the provided XML platform files as shown in the **first tutorial** on
+:ref:`usecase_simalgo`. If your application is already written in MPI, then you are lucky because SimGrid comes with a very good
+support of this communication interface, as explained in our **second tutorial** on :ref:`usecase_smpi`. The **third tutorial** is on
+:ref:`usecase_modelchecking`. Docker images are provided to run these tutorials without installing anything.
+
+SimGrid comes with an :ref:`extensive amount of examples <s4u_examples>`, so that you can quick-start your simulator by
+assembling and modifying some of the provided examples (see :ref:`this section <setup_your_own>` on how to get your own project
+to compile with SimGrid). An extensive documentation is available from the left menu bar. If you want to get an idea of how
+SimGrid works to better use it, you can refer to the :ref:`framework design presentation <design>`.
 
 SimGrid Success Stories
-^^^^^^^^^^^^^^^^^^^^^^^
+-----------------------
 
 SimGrid was cited in over 3,000 scientific papers (according to Google
 Scholar). Among them,
@@ -214,8 +99,7 @@ This instrument was used in many research communities, such as
 `Peer-to-Peer Computing <https://hal.archives-ouvertes.fr/hal-01152469/>`_,
 `Network Architecture <http://dx.doi.org/10.1109/TPDS.2016.2613043>`_,
 `Fog Computing <http://ieeexplore.ieee.org/document/7946412/>`_, or
-`Batch Scheduling <https://hal.archives-ouvertes.fr/hal-01333471>`_
-`(more info) <https://simgrid.org/usages.html>`_.
+`Batch Scheduling <https://hal.archives-ouvertes.fr/hal-01333471>`_.
 
 If your platform description is accurate enough (see
 `here <http://hal.inria.fr/hal-00907887>`_ or
@@ -239,4 +123,38 @@ developed by Inria Bordeaux), and
 key-value pair storage library developed at the University of Zurich).
 Some of these applications enjoy large user communities themselves.
 
+SimGrid Limits
+--------------
+
+This framework is by no means the holy grail, able to solve
+every problem on Earth.
+
+**SimGrid scope is limited to distributed systems.** Real-time
+multi-threaded systems are out of this scope. You could probably tweak
+SimGrid for such studies (or the framework could be extended
+in this direction), but another framework specifically targeting such a
+use case would probably be more suited.
+
+**There is currently no support for 5G or LoRa networks**.
+The framework could certainly be improved in this direction, but this
+still has to be done.
+
+**There is no perfect model, only models adapted to your study.** The SimGrid
+models target fast and large studies, and yet they target realistic results. In
+particular, our models abstract away parameters and phenomena that are often
+irrelevant to reality in our context.
+
+SimGrid is obviously not intended for a study of any phenomenon that our
+abstraction removes. Here are some **studies that you should not do with
+SimGrid**:
+
+ - Studying the effect of L3 vs. L2 cache effects on your application
+ - Comparing kernel schedulers and policies
+ - Comparing variants of TCP
+ - Exploring pathological cases where TCP breaks down, resulting in
+   abnormal executions.
+ - Studying security aspects of your application, in presence of
+   malicious agents.
+
+
 ..  LocalWords:  SimGrid
index 34d3c15..fb4a056 100644 (file)
@@ -51,6 +51,8 @@ still be correct for most users. `Studies have shown <https://hal.inria.fr/hal-0
 under some conditions, and a :ref:`calibration process<howto_disk>` is provided. As usual, you probably want to
 double-check their predictions through an appropriate validation campaign.
 
+.. _models-lmm:
+
 LMM-based Models
 ****************
 
index 55ab2e5..495ad65 100644 (file)
@@ -617,8 +617,10 @@ were removed in this version.
 **On the model checking front**, we are almost done with the ongoing refactoring to ensure that the model-checker don't read
 directly the memory of the application beside checkpoint/restore and state equality. Instead, the network protocol is used to
 retrieve the information, which makes the code much easier to read and understand. We fixed a bug in the DPOR reduction which
-resulted in some failures to be missed by the exploration. We started implementing the UDPOR (Unfoldings DPOR) reduction
-algorithm, and it will certainly be part of the next release.
+resulted in some failures to be missed by the exploration, but our quick fix hindered the reduction quality. As a result, some
+scenarios which could be explored completely earlier (with bugs) are now too large for our (correct) exploration algorithm. We
+should improve DPOR in the next release, possibly implementing the ODPOR variant (Optimal DPOR). Also, we started implementing
+the UDPOR (Unfoldings DPOR) reduction algorithm, also for the next release.
 
 We also extended the sthread module, which allows to intercept simple code that use pthread mutex and semaphores to simulate and
 verify it. You do not even need to recompile your code, as it uses LD_PRELOAD to intercept on the target functions. This module
index 68e70e9..20f31c4 100644 (file)
@@ -1,4 +1,4 @@
-..
+.. _setup_your_own:
 
 Start your Own Project
 ======================
index 19d6efd..03bf0a0 100644 (file)
@@ -38,6 +38,27 @@ fault-tolerance. It can alleviate the state space explosion problem through `Dyn
 Mc SimGrid is currently less mature than other parts of the framework, but it improves every month. Please report any question and
 issue so that we can further improve it.
 
+Limits
+^^^^^^
+
+The main limit of Model Checking lies in the huge amount of scenarios to explore. SimGrid tries to explore only non-redundant
+scenarios thanks to classical reduction techniques (such as DPOR and stateful exploration) but the exploration may well never
+finish if you don't carefully adapt your application to this mode.
+
+A classical trap is that the Model Checker can only verify whether your application fits the properties provided, which is
+useless if you have a bug in your property. Remember also that one way for your application to never violate a given assertion
+is to not start at all, because of a stupid bug.
+
+Another limit of this mode is that it does not use the performance models of the simulation mode. Time becomes discrete: You can
+say for example that the application took 42 steps to run, but there is no way to know how much time it took or the number of
+watts that were dissipated.
+
+Finally, the model checker only explores the interleavings of computations and communications. Other factors such as thread
+execution interleaving are not considered by the SimGrid model checker.
+
+The model checker may well miss existing issues, as it computes the possible outcomes *from a given initial situation*. There is
+no way to prove the correctness of your application in full generality with this tool.
+
 Getting Mc SimGrid
 ------------------
 
diff --git a/docs/source/img/design-scheduling-parallel.svg b/docs/source/img/design-scheduling-parallel.svg
new file mode 100644 (file)
index 0000000..4947e12
--- /dev/null
@@ -0,0 +1,1231 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   width="528.76843"
+   height="130.03802"
+   id="svg3339"
+   version="1.1"
+   inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
+   sodipodi:docname="design-scheduling-parallel.svg"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:dc="http://purl.org/dc/elements/1.1/">
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.9541112"
+     inkscape:cx="323.67656"
+     inkscape:cy="43.753907"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     showguides="true"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1920"
+     inkscape:window-height="1024"
+     inkscape:window-x="0"
+     inkscape:window-y="32"
+     inkscape:window-maximized="1"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:snap-midpoints="false"
+     inkscape:showpageshadow="0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1">
+    <sodipodi:guide
+       orientation="1,0"
+       position="-392.48237,93.829255"
+       id="guide4460"
+       inkscape:locked="false" />
+  </sodipodi:namedview>
+  <defs
+     id="defs3341">
+    <marker
+       style="overflow:visible"
+       id="TriangleStart"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineStart"
+       id="InfiniteLineStart"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4540"
+         style="fill:#000000"
+         transform="translate(-13)">
+        <circle
+           id="circle4542"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4544"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4546"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineEnd"
+       id="InfiniteLineEnd"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4531"
+         style="fill:#000000">
+        <circle
+           id="circle4533"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4535"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4537"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible"
+       viewBox="0 0 8.886927 5.078244"
+       markerWidth="8.8869267"
+       markerHeight="5.0782442"
+       preserveAspectRatio="xMidYMid">
+      <path
+         id="path4121"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendDG"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendDG">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4891" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendxA"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4897" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3283"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3285" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3287"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3289" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendu"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendu"
+       style="overflow:visible">
+      <path
+         id="path4586"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendh"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendh"
+       style="overflow:visible">
+      <path
+         id="path4589"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendi"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendi-1"
+       style="overflow:visible">
+      <path
+         id="path4515-8"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX"
+       style="overflow:visible">
+      <path
+         id="path4502"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-3"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-93" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-5"
+       style="overflow:visible">
+      <path
+         id="path4502-6"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3244"
+       style="overflow:visible">
+      <path
+         id="path3246"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3248"
+       style="overflow:visible">
+      <path
+         id="path3250"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3252"
+       style="overflow:visible">
+      <path
+         id="path3254"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-30"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-8"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-85" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-0"
+       style="overflow:visible">
+      <path
+         id="path4502-3"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6-7"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0-9"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10533"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10535" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10537"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10539" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-2"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-6" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7-2" />
+    </marker>
+  </defs>
+  <metadata
+     id="metadata3344">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Calque 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-10.644703,-648.45789)">
+    <path
+       style="fill:#999999;stroke:#cccccc;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 4;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none"
+       d="M 169.06033,730.4913 H 508.5347"
+       id="path8141"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1)"
+       d="m 395.6051,730.21414 16.63903,-0.0417"
+       id="path8173-5-9-7"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-6)"
+       d="m 274.21303,729.95741 14.77446,-0.1083"
+       id="path8173-5-9-7-6"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart)"
+       d="m 374.34834,730.21414 17.7554,-0.0359"
+       id="path8173-5-9"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-2)"
+       d="m 181.43939,730.50925 16.63903,-0.0417"
+       id="path8173-5-9-7-9"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18)"
+       d="m 160.18263,730.50925 17.7554,-0.0359"
+       id="path8173-5-9-2"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18-0)"
+       d="m 138.43375,730.32426 17.7554,-0.0359"
+       id="path8173-5-9-2-3"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-0)"
+       d="m 293.60267,730.1891 76.57297,-0.0109"
+       id="path8173-5-9-7-3"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="53.702225"
+       y="737.05664"
+       id="text8137"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan8139"
+         x="53.702225"
+         y="737.05664">Maestro</tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path4751"
+       d="m 202.5892,729.92149 -0.0376,-62.38974"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 273.71303,729.92149 V 667.53175"
+       id="path4753"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-weight:normal;line-height:0%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"
+       x="195.40361"
+       y="39.139427"
+       id="text4646"
+       transform="translate(115.07036,640.67968)"><tspan
+         sodipodi:role="line"
+         id="tspan4648"
+         x="195.40361"
+         y="39.139427"
+         style="font-size:16px;line-height:1.25;font-family:sans-serif"> </tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path3107"
+       d="m 129.38745,680.10519 379.14794,0.12024"
+       style="fill:#999999;stroke:#cccccc;stroke-width:2.04864;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4.09727, 4.09727;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="46.742218"
+       y="685.3952"
+       id="text4707"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709"
+         x="46.742218"
+         y="685.3952">Worker 1</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="213.95111"
+       y="670.74176"
+       id="text4707-2"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-2"
+         x="213.95111"
+         y="670.74176">many</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="211.3111"
+       y="699.00983"
+       id="text4707-2-8"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-2-9"
+         x="211.3111"
+         y="699.00983">actors</tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 204.94793,680.27801 h 13.00922"
+       id="path4691"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 218.31404,678.01129 h 4.66922 v 1.35115 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 204.94793,678.15266 h -4.24295 v 1.21449 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 243.03261,706.52534 h 13.00922"
+       id="path4691-92"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 256.39872,704.25862 h 4.66922 v 1.35115 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-02"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 243.03261,704.39999 h -4.24295 v 1.21449 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-3"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 204.94793,706.52534 h 8.1809"
+       id="path4691-7"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 213.48572,704.1268 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 204.94793,704.39999 h -4.24295 v 1.21448 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 230.16021,680.32534 h 8.1809"
+       id="path4691-7-3"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 238.698,677.9268 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 H 238.698 Z"
+       id="path4419-8-0-6"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 230.16021,678.19999 h -4.24295 v 1.21448 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-9-0"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 225.13114,706.52534 h 5.12919"
+       id="path4691-7-6"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 230.26033,704.16083 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 225.13114,704.4 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 250.04669,680.32534 h 5.12919"
+       id="path4691-7-6-1"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 255.17588,677.96083 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 250.04669,678.2 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6-7"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 266.24923,680.32534 h 5.12919"
+       id="path4691-7-6-1-7"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 271.37842,677.96083 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2-8-5"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 266.24923,678.2 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6-7-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path4751-4"
+       d="m 416.35936,730.98095 -0.0376,-62.38974"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 483.48319,730.98095 V 668.59121"
+       id="path4753-3"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 443.51936,706.08945 h 13.00922"
+       id="path4691-8"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 456.88547,703.82273 h 4.66922 v 1.35115 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 443.51936,703.9641 h -4.24295 v 1.21449 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-4"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 468.32063,706.18724 h 13.00922"
+       id="path4691-8-7"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 481.68674,703.92052 h 4.66922 v 1.35115 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-8-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 468.32063,704.06189 h -4.24295 v 1.21449 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-4-7"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 418.71809,706.08945 h 13.00922"
+       id="path4691-92-3"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 432.0842,703.82273 h 4.66922 v 1.35115 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-02-1"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 418.71809,703.9641 h -4.24295 v 1.21449 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-3-4"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 435.49548,681.3848 h 8.1809"
+       id="path4691-7-3-9"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 444.03327,678.98626 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-6-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 435.49548,679.25945 h -4.24295 v 1.21448 c -1.21582,0.3728 -3.37945,1.04885 0,1.82173 v 1.21448 h 4.24295 z"
+       id="path4419-4-3-3-9-0-6"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 418.60187,681.3848 h 5.12919"
+       id="path4691-7-6-6"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 423.73106,679.02029 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2-4"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 418.60187,679.25946 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 455.38196,681.3848 h 5.12919"
+       id="path4691-7-6-1-5"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 460.51115,679.02029 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2-8-0"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 455.38196,679.25946 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6-7-4"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 471.5845,681.3848 h 5.12919"
+       id="path4691-7-6-1-7-8"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 476.71369,679.02029 h 4.66922 v 1.35114 c -2.15413,0.65232 -3.14713,1.63009 0,2.02672 v 1.35116 h -4.66922 z"
+       id="path4419-8-0-2-8-5-7"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713772px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 471.5845,679.25946 h -4.24294 v 1.21448 c -1.21582,0.3728 -3.37944,1.04885 0,1.82172 v 1.21448 h 4.24294 z"
+       id="path4419-4-3-3-9-6-7-9-1"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#999999;stroke:#cccccc;stroke-width:2.14065;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4.2813, 4.2813;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none"
+       d="m 129.38745,706.49131 379.14725,-0.2433"
+       id="path3105"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       id="text4701"
+       y="711.53973"
+       x="44.842216"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       xml:space="preserve"><tspan
+         y="711.53973"
+         x="44.842216"
+         id="tspan4703"
+         sodipodi:role="line"
+         style="font-size:20px;line-height:1.25;fill:#999999">Worker 2</tspan></text>
+    <g
+       id="g3187"
+       transform="translate(21.422349,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-0"
+       transform="translate(33.752688,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-1"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-4"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-9"
+       transform="translate(46.083058,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-6"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-42"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-7"
+       transform="translate(58.413428,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-3"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-6"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-0-1"
+       transform="translate(-3.23836,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-1-2"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-4-9"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-9-3"
+       transform="translate(9.09201,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-6-1"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-42-9"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-1-8"
+       transform="translate(-156.09063,54.680978)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-5"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-2"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2, 2;stroke-dashoffset:0;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 127.30401,730.29302 h 11.5029"
+       id="path8129-92-5"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-size:14.6667px;line-height:13px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="147.69632"
+       y="734.29437"
+       id="text745-3-3-1"><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="734.29437"
+         id="tspan1523-9-5"
+         style="font-size:14.6667px" /><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="747.29437"
+         style="font-size:14.6667px"
+         id="tspan13539-5" /><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="760.69434"
+         style="font-size:16px"
+         id="tspan13541-4">  </tspan><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="773.69434"
+         style="font-size:16px"
+         id="tspan16778" /></text>
+    <path
+       id="path3038"
+       style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+       inkscape:connector-curvature="0"
+       d="m 164.64316,728.93552 c -0.0475,-0.12387 0.25719,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51602,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50087,0.30406 -0.42118,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.1532,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72088,-0.15691 0.72088,0.25171 0,0.3866 0.45674,0.40682 1.477,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49151,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.15489,-0.12855 0.24873,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55134,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-10e-4 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,10e-4 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61103,-0.24464 0.61103,-0.35409 z" />
+    <path
+       id="path3038-6"
+       style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+       inkscape:connector-curvature="0"
+       d="m 378.56094,728.1362 c -0.0475,-0.12387 0.25719,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51602,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50087,0.30406 -0.42118,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.1532,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72088,-0.15691 0.72088,0.25171 0,0.3866 0.45674,0.40682 1.477,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49151,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.15489,-0.12855 0.24873,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55134,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-0.001 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,0.001 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61103,-0.24464 0.61103,-0.35409 z" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:18.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none"
+       x="101.6237"
+       y="762.55963"
+       id="text4707-7-3"><tspan
+         style="font-size:18.6667px;line-height:1.25;fill:#0000ff"
+         sodipodi:role="line"
+         id="tspan4709-0-6-7"
+         x="101.6237"
+         y="762.55963">Figure: Actual execution a parallel simulation.</tspan></text>
+    <rect
+       style="font-variation-settings:normal;opacity:1;vector-effect:none;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;stop-color:#000000;stop-opacity:1"
+       id="rect3118"
+       width="528.76843"
+       height="130.03802"
+       x="10.644703"
+       y="648.45789" />
+  </g>
+</svg>
diff --git a/docs/source/img/design-scheduling-simulatedtime.svg b/docs/source/img/design-scheduling-simulatedtime.svg
new file mode 100644 (file)
index 0000000..6be34b0
--- /dev/null
@@ -0,0 +1,1417 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   width="754.85797"
+   height="196.44731"
+   id="svg3339"
+   version="1.1"
+   inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
+   sodipodi:docname="design-scheduling-simulatedtime.svg"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:dc="http://purl.org/dc/elements/1.1/">
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.2781533"
+     inkscape:cx="371.23874"
+     inkscape:cy="-31.686341"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     showguides="true"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1920"
+     inkscape:window-height="1024"
+     inkscape:window-x="0"
+     inkscape:window-y="32"
+     inkscape:window-maximized="1"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:snap-midpoints="false"
+     inkscape:showpageshadow="0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1">
+    <sodipodi:guide
+       orientation="1,0"
+       position="-437.13989,155.74187"
+       id="guide4460"
+       inkscape:locked="false" />
+  </sodipodi:namedview>
+  <defs
+     id="defs3341">
+    <marker
+       style="overflow:visible"
+       id="TriangleStart"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineStart"
+       id="InfiniteLineStart"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4540"
+         style="fill:#000000"
+         transform="translate(-13)">
+        <circle
+           id="circle4542"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4544"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4546"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineEnd"
+       id="InfiniteLineEnd"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4531"
+         style="fill:#000000">
+        <circle
+           id="circle4533"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4535"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4537"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible"
+       viewBox="0 0 8.886927 5.078244"
+       markerWidth="8.8869267"
+       markerHeight="5.0782442"
+       preserveAspectRatio="xMidYMid">
+      <path
+         id="path4121"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendDG"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendDG">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4891" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendxA"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4897" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3283"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3285" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3287"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3289" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendu"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendu"
+       style="overflow:visible">
+      <path
+         id="path4586"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendh"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendh"
+       style="overflow:visible">
+      <path
+         id="path4589"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendi"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendi-1"
+       style="overflow:visible">
+      <path
+         id="path4515-8"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX"
+       style="overflow:visible">
+      <path
+         id="path4502"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-3"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-93" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-5"
+       style="overflow:visible">
+      <path
+         id="path4502-6"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3244"
+       style="overflow:visible">
+      <path
+         id="path3246"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3248"
+       style="overflow:visible">
+      <path
+         id="path3250"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3252"
+       style="overflow:visible">
+      <path
+         id="path3254"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-30"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-8"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-85" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-0"
+       style="overflow:visible">
+      <path
+         id="path4502-3"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6-7"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0-9"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10533"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10535" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10537"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10539" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-2"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-6" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7-2"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7-2-9"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5-2-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7-4"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7-4-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5-7-3" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-6-7-4-0-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="3.46"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-0-5-7-3-6" />
+    </marker>
+  </defs>
+  <metadata
+     id="metadata3344">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Calque 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-55.302225,-643.96121)">
+    <g
+       id="g13476"
+       transform="translate(-32.869826,-10.823593)">
+      <rect
+         y="704.27423"
+         x="585.18164"
+         height="10"
+         width="10"
+         id="rect10999-0"
+         style="fill:#ff0000;fill-opacity:1;stroke:none" />
+      <text
+         id="text11001-0"
+         y="714.45428"
+         x="604.29431"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#999999;fill-opacity:1;stroke:none"
+         xml:space="preserve"><tspan
+           y="714.45428"
+           x="604.29431"
+           id="tspan11003-6"
+           sodipodi:role="line"
+           style="font-size:14px;line-height:1.25">Simulation setup (kernel mode)</tspan></text>
+    </g>
+    <rect
+       y="712.06122"
+       x="552.31183"
+       height="10"
+       width="10"
+       id="rect10999-0-1"
+       style="fill:#d42aff;fill-opacity:1;stroke:none" />
+    <text
+       id="text11001-0-2"
+       y="722.24127"
+       x="571.4245"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#999999;fill-opacity:1;stroke:none"
+       xml:space="preserve"><tspan
+         y="722.24127"
+         x="571.4245"
+         id="tspan11003-6-9"
+         sodipodi:role="line"
+         style="font-size:14px;line-height:1.25">Model solving (kernel mode)</tspan></text>
+    <g
+       id="g13482"
+       transform="translate(-32.869826,-10.478884)">
+      <rect
+         style="fill:#008000;fill-opacity:1;stroke:none"
+         id="rect11011-4"
+         width="10"
+         height="10"
+         x="584.92218"
+         y="685.15106" />
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#999999;fill-opacity:1;stroke:none"
+         x="604.03485"
+         y="695.33099"
+         id="text11013-0"><tspan
+           sodipodi:role="line"
+           x="604.03485"
+           y="695.33099"
+           id="tspan3204"
+           style="font-size:14px;line-height:1.25">Context switching</tspan><tspan
+           sodipodi:role="line"
+           x="604.03485"
+           y="703.48102"
+           id="tspan5366"
+           style="font-size:14px;line-height:1.25" /></text>
+    </g>
+    <g
+       id="g13487"
+       transform="translate(-32.869826,-6.902343)">
+      <rect
+         y="665.52606"
+         x="584.92218"
+         height="10"
+         width="10"
+         id="rect3118"
+         style="fill:#0000ff;fill-opacity:1;stroke:none" />
+      <text
+         id="text3120"
+         y="675.70587"
+         x="604.03485"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#999999;fill-opacity:1;stroke:none"
+         xml:space="preserve"><tspan
+           y="675.70587"
+           x="604.03485"
+           id="tspan3122"
+           sodipodi:role="line"
+           style="font-size:14px;line-height:1.25">User code (isolated)</tspan></text>
+    </g>
+    <path
+       style="fill:#999999;stroke:#cccccc;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 4;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none"
+       d="M 169.06033,730.4913 H 508.5347"
+       id="path8141"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1)"
+       d="m 395.6051,730.21414 16.63903,-0.0417"
+       id="path8173-5-9-7"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-6)"
+       d="m 267.74841,729.95741 21.23908,-0.1083"
+       id="path8173-5-9-7-6"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7)"
+       d="m 470.21955,730.27477 21.23908,-0.1083"
+       id="path8173-5-9-7-6-9"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart)"
+       d="m 374.34834,730.21414 17.7554,-0.0359"
+       id="path8173-5-9"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#008000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-2)"
+       d="m 181.43939,730.50925 16.63903,-0.0417"
+       id="path8173-5-9-7-9"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18)"
+       d="m 160.18263,730.50925 17.7554,-0.0359"
+       id="path8173-5-9-2"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18-0)"
+       d="m 138.43375,730.32426 17.7554,-0.0359"
+       id="path8173-5-9-2-3"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#008000;fill-opacity:1;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-0)"
+       d="m 293.60267,730.1891 76.57297,-0.0109"
+       id="path8173-5-9-7-3"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="53.702225"
+       y="737.05664"
+       id="text8137"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan8139"
+         x="53.702225"
+         y="737.05664">Maestro</tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path4751"
+       d="M 202.5892,729.92149 V 643.96121"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 268.52272,729.92149 V 643.96121"
+       id="path4753"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path4751-3"
+       d="M 415.99477,730.17822 V 643.96121"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:none;stroke:#008000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:3, 3;stroke-dashoffset:0;stroke-opacity:1"
+       d="M 470.35673,731.73462 V 643.96121"
+       id="path4753-2"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:none"
+       d="M 496.07381,730.38251 H 519.1715"
+       id="path8129-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-weight:normal;line-height:0%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none"
+       x="195.40361"
+       y="39.139427"
+       id="text4646"
+       transform="translate(115.07036,640.67968)"><tspan
+         sodipodi:role="line"
+         id="tspan4648"
+         x="195.40361"
+         y="39.139427"
+         style="font-size:16px;line-height:1.25;font-family:sans-serif"> </tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path3107"
+       d="M 129.38745,680.10519 H 531.25739"
+       style="fill:#999999;stroke:#cccccc;stroke-width:2.04864;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4.09727, 4.09727;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="62.742218"
+       y="685.3952"
+       id="text4707"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709"
+         x="62.742218"
+         y="685.3952">Actor 2</tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 206.65749,680.10519 h 30.42057"
+       id="path4691"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 420.88923,680.19111 h 44.97229"
+       id="path4691-9"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 237.10422,675.66757 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 420.97959,675.97548 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 466.47489,675.75775 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-43-1"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 206.83215,675.86661 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-3"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#999999;stroke:#cccccc;stroke-width:2.14065;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4.2813, 4.2813;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none"
+       d="M 129.38745,706.49131 H 531.25739"
+       id="path3105"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       id="text4701"
+       y="711.53973"
+       x="62.842216"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       xml:space="preserve"><tspan
+         y="711.53973"
+         x="62.842216"
+         id="tspan4703"
+         sodipodi:role="line"
+         style="font-size:20px;line-height:1.25;fill:#999999">Actor 3</tspan></text>
+    <path
+       inkscape:connector-curvature="0"
+       id="path4695"
+       d="m 206.88666,706.49131 h 57.87097"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       sodipodi:nodetypes="cc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 420.80142,706.4192 40.46521,0.0854"
+       id="path4691-9-5"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 264.59156,701.9004 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-8-7"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 420.97959,702.1535 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-1"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 461.36414,702.02118 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-43-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 206.83215,702.04465 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-6"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       inkscape:connector-curvature="0"
+       id="path3107-8"
+       d="M 129.38745,653.96066 H 531.25739"
+       style="fill:#999999;stroke:#cccccc;stroke-width:2.04864;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4.09727, 4.09727;stroke-dashoffset:0;stroke-opacity:0.392157;marker-end:none" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="66.022217"
+       y="659.25067"
+       id="text4707-7"><tspan
+         style="font-size:20px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-0"
+         x="66.022217"
+         y="659.25067">Actor 1</tspan></text>
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 206.65749,653.96066 h 44.91405"
+       id="path4691-0"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 421.06003,654.04658 h 25.23529"
+       id="path4691-9-1"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 251.83926,649.52304 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-8-77"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 420.97959,649.83095 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 446.66713,649.61322 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-43-1-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 206.83215,649.72208 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-3-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <g
+       id="g3187"
+       transform="translate(17.422349,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-0"
+       transform="translate(33.752688,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-1"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-4"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-9"
+       transform="translate(50.083058,54.487544)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-6"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-42"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-1-8"
+       transform="translate(-156.09063,54.680978)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-5"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-2"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-1-5"
+       transform="translate(199.55038,52.748514)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-56"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-6"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-1-2"
+       transform="translate(213.8023,52.748514)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-6"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-8"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2, 2;stroke-dashoffset:0;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 127.30401,730.29302 h 11.5029"
+       id="path8129-92-5"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2, 2;stroke-dashoffset:0;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 523.36377,730.29301 h 11.5029"
+       id="path8129-92-5-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 261.46889,653.47755 c 10.56015,0.53047 25.901,-3.70538 24.88048,67.3947"
+       id="path7192"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-mid:none;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 300.49823,36.10461 c 32.07227,-9.195745 31.2274,38.35823 31.16099,40.823312"
+       id="path8138"
+       inkscape:connector-curvature="0"
+       transform="translate(-50.382572,643.46121)"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 323.20468,63.159112 c 3.63519,-2.651696 3.62338,13.76881 3.62338,13.76881"
+       id="path8140"
+       inkscape:connector-curvature="0"
+       transform="translate(-50.382572,643.46121)"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 457.1792,653.94805 c 10.56015,0.53047 33.14774,-4.43005 32.12722,66.67003"
+       id="path7192-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-mid:none;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 475.05449,679.79477 c 12.98919,-6.29705 9.24562,37.87511 9.17921,40.34019"
+       id="path8138-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;stroke:#008000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mendk1-0)"
+       d="m 469.01553,706.36615 c 10.64038,-5.30883 10.38701,13.76881 10.38701,13.76881"
+       id="path8140-4"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-size:16px;line-height:13px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="349.24759"
+       y="684.81769"
+       id="text745"><tspan
+         sodipodi:role="line"
+         id="tspan743"
+         x="349.24759"
+         y="684.81769" /><tspan
+         sodipodi:role="line"
+         x="349.24759"
+         y="697.81769"
+         id="tspan1487"
+         style="font-size:12px">request+body+answer</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14.6667px;line-height:10.0833px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="349.70758"
+       y="679.09912"
+       id="text745-3"><tspan
+         sodipodi:role="line"
+         x="349.70758"
+         y="679.09912"
+         id="tspan1487-7"
+         style="font-size:16px">One simcall</tspan><tspan
+         sodipodi:role="line"
+         x="349.70758"
+         y="689.18243"
+         id="tspan1523"
+         style="font-size:14.6667px">=</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14.6667px;line-height:13px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="147.69632"
+       y="734.29437"
+       id="text745-3-3-1"><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="734.29437"
+         id="tspan1523-9-5"
+         style="font-size:14.6667px" /><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="747.29437"
+         style="font-size:14.6667px"
+         id="tspan13539-5" /><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="760.69434"
+         style="font-size:16px"
+         id="tspan13541-4">  </tspan><tspan
+         sodipodi:role="line"
+         x="147.69632"
+         y="773.69434"
+         style="font-size:16px"
+         id="tspan16778" /></text>
+    <text
+       xml:space="preserve"
+       style="font-size:14.6667px;line-height:16px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="375.94916"
+       y="757.88544"
+       id="text745-3-3"><tspan
+         sodipodi:role="line"
+         x="375.94916"
+         y="757.88544"
+         id="tspan1523-9"
+         style="font-size:14.6667px" /><tspan
+         sodipodi:role="line"
+         x="377.7825"
+         y="773.88544"
+         style="font-size:14.6667px"
+         id="tspan13541">Scheduling round:  run actors, declare their activities, solve models + update timestamp </tspan></text>
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7)"
+       d="m 302.44588,699.43566 -25.44432,5.03551"
+       id="path11287"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7-4)"
+       d="m 245.85909,759.19341 -6.21688,-11.9135"
+       id="path11287-84"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7-4-0)"
+       d="m 341.8388,759.8977 -7.64209,-14.66361"
+       id="path11287-84-6"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7-4-0-0)"
+       d="M 452.93121,760.12878 392.18253,743.00057"
+       id="path11287-84-6-3"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7-2)"
+       d="m 349.90138,698.94517 2.32539,16.31475"
+       id="path11287-8"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#TriangleStart-1-6-7-2-9)"
+       d="m 394.59235,699.58602 13.3383,4.06049"
+       id="path11287-8-3"
+       sodipodi:nodetypes="cc" />
+    <path
+       id="path3038"
+       style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+       inkscape:connector-curvature="0"
+       d="m 164.64316,728.93552 c -0.0475,-0.12387 0.25719,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51602,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50087,0.30406 -0.42118,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.1532,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72088,-0.15691 0.72088,0.25171 0,0.3866 0.45674,0.40682 1.477,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49151,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.15489,-0.12855 0.24873,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55134,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-10e-4 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,10e-4 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61103,-0.24464 0.61103,-0.35409 z" />
+    <path
+       id="path3038-6"
+       style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+       inkscape:connector-curvature="0"
+       d="m 378.56094,728.1362 c -0.0475,-0.12387 0.25719,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51602,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50087,0.30406 -0.42118,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.1532,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72088,-0.15691 0.72088,0.25171 0,0.3866 0.45674,0.40682 1.477,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49151,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.15489,-0.12855 0.24873,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55134,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-0.001 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,0.001 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61103,-0.24464 0.61103,-0.35409 z" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 202.69365,736.55609 c 13.583,8.39911 51.09879,7.5465 65.04966,-0.34876"
+       id="path14113"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 295.64197,736.55604 c 13.583,8.39911 55.85605,7.5465 69.80692,-0.34876"
+       id="path14113-5"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 374.34632,735.77213 c 5.14384,4.62302 15.88228,4.53697 21.25627,0"
+       id="path14113-5-1"
+       sodipodi:nodetypes="cc" />
+    <rect
+       style="font-variation-settings:normal;opacity:1;vector-effect:none;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;stop-color:#000000;stop-opacity:1"
+       id="rect1027"
+       width="103.78831"
+       height="191.15218"
+       x="706.37189"
+       y="649.25635" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none"
+       x="255.24222"
+       y="815.20044"
+       id="text4707-7-3"><tspan
+         style="font-size:20px;line-height:1.25;fill:#0000ff"
+         sodipodi:role="line"
+         id="tspan4709-0-6"
+         x="255.24222"
+         y="815.20044">Figure: Logical view of a SimGrid simulation.</tspan></text>
+  </g>
+</svg>
diff --git a/docs/source/img/design-scheduling-wallclock.svg b/docs/source/img/design-scheduling-wallclock.svg
new file mode 100644 (file)
index 0000000..51a6f44
--- /dev/null
@@ -0,0 +1,1014 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   width="612.39081"
+   height="95.672424"
+   id="svg3339"
+   version="1.1"
+   inkscape:version="1.2.2 (b0a8486541, 2022-12-01)"
+   sodipodi:docname="design-scheduling-wallclock.svg"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:dc="http://purl.org/dc/elements/1.1/">
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1.3675787"
+     inkscape:cx="170.0085"
+     inkscape:cy="-16.452435"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     showguides="true"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1920"
+     inkscape:window-height="1024"
+     inkscape:window-x="0"
+     inkscape:window-y="32"
+     inkscape:window-maximized="1"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:snap-midpoints="false"
+     inkscape:showpageshadow="0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1">
+    <sodipodi:guide
+       orientation="1,0"
+       position="-460.45614,129.32661"
+       id="guide4460"
+       inkscape:locked="false" />
+  </sodipodi:namedview>
+  <defs
+     id="defs3341">
+    <marker
+       style="overflow:visible"
+       id="TriangleStart"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineStart"
+       id="InfiniteLineStart"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4540"
+         style="fill:#000000"
+         transform="translate(-13)">
+        <circle
+           id="circle4542"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4544"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4546"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       style="overflow:visible"
+       inkscape:stockid="InfiniteLineEnd"
+       id="InfiniteLineEnd"
+       refX="0"
+       refY="0"
+       orient="auto">
+      <g
+         id="g4531"
+         style="fill:#000000">
+        <circle
+           id="circle4533"
+           r="0.80000001"
+           cy="0"
+           cx="3" />
+        <circle
+           id="circle4535"
+           r="0.80000001"
+           cy="0"
+           cx="6.5" />
+        <circle
+           id="circle4537"
+           r="0.80000001"
+           cy="0"
+           cx="10" />
+      </g>
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mend"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mend"
+       style="overflow:visible"
+       viewBox="0 0 8.886927 5.078244"
+       markerWidth="8.8869267"
+       markerHeight="5.0782442"
+       preserveAspectRatio="xMidYMid">
+      <path
+         id="path4121"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendDG"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendDG">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4891" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1MendxA"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4897" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3283"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3285" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker3287"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1MendxA">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path3289" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendu"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendu"
+       style="overflow:visible">
+      <path
+         id="path4586"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendh"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendh"
+       style="overflow:visible">
+      <path
+         id="path4589"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#0000ff;fill-rule:evenodd;stroke:#0000ff;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1Mendi"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1Mendi-1"
+       style="overflow:visible">
+      <path
+         id="path4515-8"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX"
+       style="overflow:visible">
+      <path
+         id="path4502"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-3"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-1"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-93" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-5"
+       style="overflow:visible">
+      <path
+         id="path4502-6"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3244"
+       style="overflow:visible">
+      <path
+         id="path3246"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3248"
+       style="overflow:visible">
+      <path
+         id="path3250"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker3252"
+       style="overflow:visible">
+      <path
+         id="path3254"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-30"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-8"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-85" />
+    </marker>
+    <marker
+       inkscape:stockid="Arrow1MenduX"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="Arrow1MenduX-0"
+       style="overflow:visible">
+      <path
+         id="path4502-3"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         style="fill:#ffcc00;fill-rule:evenodd;stroke:#ffcc00;stroke-width:1pt;marker-start:none"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendi-6-7"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendi">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#ff0000;fill-rule:evenodd;stroke:#ff0000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4515-86-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-0-9"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-6-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10533"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10535" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="marker10537"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path10539" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow1Mendk1-5-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow1Mendk1">
+      <path
+         inkscape:connector-curvature="0"
+         transform="matrix(-0.4,0,0,-0.4,-4,0)"
+         style="fill:#008000;fill-rule:evenodd;stroke:#008000;stroke-width:1pt;marker-start:none"
+         d="M 0,0 5,-5 -12.5,0 5,5 Z"
+         id="path4894-3-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-1-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-2-9" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="TriangleStart-18-0"
+       refX="0"
+       refY="0"
+       orient="auto-start-reverse"
+       inkscape:stockid="TriangleStart"
+       markerWidth="4"
+       markerHeight="4"
+       viewBox="0 0 5.3244081 6.1553851"
+       inkscape:isstock="true"
+       inkscape:collect="always"
+       preserveAspectRatio="xMidYMid">
+      <path
+         transform="scale(0.5)"
+         style="fill:context-stroke;fill-rule:evenodd;stroke:context-stroke;stroke-width:1pt"
+         d="M 5.77,0 -2.88,5 V -5 Z"
+         id="path135-7-2" />
+    </marker>
+  </defs>
+  <metadata
+     id="metadata3344">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Calque 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(-78.61853,-718.32085)">
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="226.03516"
+       y="755.92279"
+       id="text4707"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709"
+         x="226.03516"
+         y="755.92279">Actor 2</tspan></text>
+    <g
+       id="g16341"
+       transform="translate(86.840523,58.777306)">
+      <path
+         sodipodi:nodetypes="cc"
+         style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+         d="m 420.88923,680.19111 h 44.97229"
+         id="path4691-9"
+         inkscape:connector-curvature="0" />
+      <path
+         style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 420.97959,675.97548 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+         id="path4419-4-3"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+      <path
+         style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 466.47489,675.75775 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+         id="path4419-43-1"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+    </g>
+    <text
+       id="text4701"
+       y="755.92279"
+       x="293.38266"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       xml:space="preserve"><tspan
+         y="755.92279"
+         x="293.38266"
+         id="tspan4703"
+         sodipodi:role="line"
+         style="font-size:14.6667px;line-height:1.25;fill:#999999">Actor 3</tspan></text>
+    <text
+       id="text4701-2"
+       y="755.92279"
+       x="570.30713"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       xml:space="preserve"><tspan
+         y="755.92279"
+         x="570.30713"
+         id="tspan4703-9"
+         sodipodi:role="line"
+         style="font-size:14.6667px;line-height:1.25;fill:#999999">Actor 3</tspan></text>
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:none"
+       d="m 633.93543,739.65235 h 31.31369"
+       id="path8129-9"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <g
+       id="g3187-1-5"
+       transform="translate(341.628,62.018349)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-56"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-6"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <g
+       id="g3187-1-2"
+       transform="translate(355.87992,62.018349)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-6"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-8"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2, 2;stroke-dashoffset:0;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 669.44139,739.56285 h 11.5029"
+       id="path8129-92-5-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="162.13551"
+       y="755.92279"
+       id="text4707-7"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-0"
+         x="162.13551"
+         y="755.92279">Actor 1</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="506.49878"
+       y="755.92279"
+       id="text4707-75"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-3"
+         x="506.49878"
+         y="755.92279">Actor 2</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="446.59912"
+       y="755.92279"
+       id="text4707-7-5"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan4709-0-6"
+         x="446.59912"
+         y="755.92279">Actor 1</tspan></text>
+    <g
+       id="g16336"
+       transform="translate(35.714422,84.918609)">
+      <path
+         sodipodi:nodetypes="cc"
+         style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+         d="m 421.06003,654.04658 h 25.23529"
+         id="path4691-9-1"
+         inkscape:connector-curvature="0" />
+      <path
+         style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 420.97959,649.83095 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+         id="path4419-4-3-9"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+      <path
+         style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 446.66713,649.61322 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+         id="path4419-43-1-8"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+    </g>
+    <g
+       id="g16070"
+       transform="translate(-25.50389,-23.690361)">
+      <path
+         sodipodi:nodetypes="cc"
+         style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart)"
+         d="m 443.25727,762.6119 17.7554,-0.0359"
+         id="path8173-5-9"
+         inkscape:connector-curvature="0" />
+      <path
+         sodipodi:nodetypes="cc"
+         style="fill:#008000;fill-opacity:1;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-1-0)"
+         d="m 378.60596,762.58686 60.4786,-0.0109"
+         id="path8173-5-9-7-3"
+         inkscape:connector-curvature="0" />
+      <g
+         id="g3187"
+         transform="translate(86.331274,86.885303)">
+        <path
+           sodipodi:nodetypes="cccccc"
+           inkscape:connector-curvature="0"
+           id="path4419-8-3"
+           d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+           style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+        <path
+           sodipodi:nodetypes="cccc"
+           inkscape:connector-curvature="0"
+           id="path4419-4-3-3-7"
+           d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+           style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      </g>
+      <g
+         id="g3187-0"
+         transform="translate(102.66161,86.885303)">
+        <path
+           sodipodi:nodetypes="cccccc"
+           inkscape:connector-curvature="0"
+           id="path4419-8-3-1"
+           d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+           style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+        <path
+           sodipodi:nodetypes="cccc"
+           inkscape:connector-curvature="0"
+           id="path4419-4-3-3-7-4"
+           d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+           style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      </g>
+      <g
+         id="g3187-9"
+         transform="translate(118.99198,86.885303)">
+        <path
+           sodipodi:nodetypes="cccccc"
+           inkscape:connector-curvature="0"
+           id="path4419-8-3-6"
+           d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+           style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+        <path
+           sodipodi:nodetypes="cccc"
+           inkscape:connector-curvature="0"
+           id="path4419-4-3-3-7-42"
+           d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+           style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      </g>
+      <path
+         id="path3038-6"
+         style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+         inkscape:connector-curvature="0"
+         d="m 447.46987,760.53396 c -0.0475,-0.12387 0.25718,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51603,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50088,0.30406 -0.42117,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.15321,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72089,-0.15691 0.72089,0.25171 0,0.3866 0.45674,0.40682 1.47699,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49152,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.1549,-0.12855 0.24874,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55133,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-10e-4 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,10e-4 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61104,-0.24464 0.61104,-0.35409 z" />
+    </g>
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#d42aff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18)"
+       d="m 122.24492,739.53637 17.7554,-0.0359"
+       id="path8173-5-9-2"
+       inkscape:connector-curvature="0" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#cc00ff;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#TriangleStart-18-0)"
+       d="m 100.49604,739.35138 17.7554,-0.0359"
+       id="path8173-5-9-2-3"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="90.911636"
+       y="755.92279"
+       id="text8137"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan8139"
+         x="90.911636"
+         y="755.92279">Maestro</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="365.26349"
+       y="755.92279"
+       id="text8137-3"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan8139-6"
+         x="365.26349"
+         y="755.92279">Maestro</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:14.6667px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#999999;fill-opacity:1;stroke:none"
+       x="625.10785"
+       y="755.92279"
+       id="text8137-3-1"><tspan
+         style="font-size:14.6667px;line-height:1.25;fill:#999999"
+         sodipodi:role="line"
+         id="tspan8139-6-2"
+         x="625.10785"
+         y="755.92279">Maestro</tspan></text>
+    <g
+       id="g3187-1-8"
+       transform="translate(-194.02834,63.708099)">
+      <path
+         sodipodi:nodetypes="cccccc"
+         inkscape:connector-curvature="0"
+         id="path4419-8-3-16-5"
+         d="m 299.33125,665.08192 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798"
+         style="fill:#ff0000;fill-opacity:0.293893;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         sodipodi:nodetypes="cccc"
+         inkscape:connector-curvature="0"
+         id="path4419-4-3-3-7-7-2"
+         d="m 299.46144,665.08192 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835"
+         style="fill:#ff0000;fill-opacity:0.294118;stroke:#ff0000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+    </g>
+    <path
+       style="fill:#ff0000;stroke:#ff0000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2, 2;stroke-dashoffset:0;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 89.3663,739.32014 h 11.5029"
+       id="path8129-92-5"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-size:14.6667px;line-height:13px;font-family:FreeSans;-inkscape-font-specification:FreeSans;text-align:center;text-decoration:none;text-decoration-line:none;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stop-color:#000000"
+       x="99.758614"
+       y="743.32147"
+       id="text745-3-3-1"><tspan
+         sodipodi:role="line"
+         x="99.758614"
+         y="743.32147"
+         id="tspan1523-9-5"
+         style="font-size:14.6667px" /><tspan
+         sodipodi:role="line"
+         x="99.758614"
+         y="756.32147"
+         style="font-size:14.6667px"
+         id="tspan13539-5" /><tspan
+         sodipodi:role="line"
+         x="99.758614"
+         y="769.72144"
+         style="font-size:16px"
+         id="tspan13541-4">  </tspan><tspan
+         sodipodi:role="line"
+         x="99.758614"
+         y="782.72144"
+         style="font-size:16px"
+         id="tspan16778" /></text>
+    <path
+       id="path3038"
+       style="fill:#d42aff;fill-opacity:1;stroke-width:1"
+       inkscape:connector-curvature="0"
+       d="m 126.70545,737.96264 c -0.0475,-0.12387 0.25719,-0.66927 0.70312,-1.25841 0.54931,-0.72575 0.72415,-1.0599 0.57887,-1.10638 -0.11449,-0.0366 -0.51602,-0.2749 -0.8923,-0.5295 -2.98318,-2.01853 -3.9457,-6.56081 -2.08315,-9.83027 0.60591,-1.06353 1.7315,-2.17422 2.70162,-2.66574 0.65784,-0.33337 0.736,-0.42089 0.60103,-0.67311 -0.19728,-0.36861 -0.19989,-1.15852 -0.005,-1.52261 0.0826,-0.15427 0.38141,-0.42343 0.66408,-0.59814 0.71524,-0.44205 2.68551,-0.4538 3.39641,-0.0203 0.87645,0.53441 1.10424,1.14538 0.74374,1.99497 -0.0782,0.1843 0.15748,0.368 1.01718,0.79288 1.92047,0.94917 3.21442,2.55765 3.77497,4.69279 0.40007,1.52383 0.37161,2.78843 -0.094,4.17543 -0.56459,1.68193 -1.39022,2.87843 -2.45001,3.55042 l -0.64107,0.40656 0.68439,0.86271 c 0.37642,0.47449 0.74727,0.86271 0.82411,0.86271 0.0768,0 0.13971,0.13683 0.13971,0.30407 0,0.24253 -0.10136,0.30406 -0.50087,0.30406 -0.42118,0 -0.59145,-0.11878 -1.0701,-0.74642 -0.83458,-1.09438 -0.84556,-1.09974 -1.70611,-0.83315 -0.85691,0.26546 -2.57239,0.30867 -3.52548,0.0888 l -0.64521,-0.14886 -0.49504,0.70578 c -0.27227,0.38819 -0.57035,0.84261 -0.6624,1.00985 -0.20291,0.36863 -0.93833,0.49496 -1.0585,0.18181 z m 4.18424,-2.92602 c -0.16121,-0.19426 -0.1532,-0.27806 0.0456,-0.47688 0.30287,-0.30286 0.72088,-0.15691 0.72088,0.25171 0,0.3866 0.45674,0.40682 1.477,0.0654 2.02097,-0.67631 3.44551,-2.56297 3.792,-5.0221 0.0854,-0.606 0.0749,-0.62593 -0.29194,-0.5558 -0.20928,0.04 -0.42715,-0.003 -0.48416,-0.095 -0.17344,-0.28062 0.0701,-0.77312 0.38232,-0.77312 0.33643,0 0.35524,-0.14181 0.13103,-0.98821 -0.59666,-2.25251 -2.58075,-4.01594 -4.81639,-4.28078 -0.74903,-0.0887 -0.7619,-0.0834 -0.69103,0.28731 0.0502,0.26238 -0.007,0.40827 -0.18874,0.47784 -0.35002,0.13432 -0.718,-0.19368 -0.62336,-0.55562 0.0682,-0.26083 0.0171,-0.28094 -0.48354,-0.19022 -1.45916,0.26441 -3.03898,1.35789 -3.77406,2.61222 -0.67882,1.15834 -1.08116,3.22841 -0.59092,3.0402 0.28958,-0.11112 0.70093,0.30022 0.58981,0.58981 -0.0846,0.22058 -0.25113,0.28334 -0.62341,0.235 -0.46759,-0.0607 0.009,1.62431 0.82241,2.90929 1.08224,1.70915 2.20827,2.35696 4.66937,2.68672 0.073,0.01 0.0446,-0.0883 -0.063,-0.21791 z m -2.49151,-0.81132 c -0.0458,-0.0741 0.009,-0.21181 0.12289,-0.30593 0.15489,-0.12855 0.24873,-0.1199 0.37709,0.0348 0.094,0.11324 0.12586,0.25091 0.0709,0.30593 -0.14342,0.14342 -0.47312,0.12334 -0.57083,-0.0348 z m 5.49096,-0.26744 c -0.20886,-0.20886 -0.10053,-0.53147 0.16154,-0.481 0.14633,0.0282 0.26606,0.14722 0.26606,0.26454 0,0.24004 -0.26823,0.37582 -0.4276,0.21646 z m -7.49824,-1.64499 c -0.0461,-0.12001 -0.0413,-0.28692 0.0106,-0.37088 0.12428,-0.20108 0.54072,-0.0362 0.54072,0.21412 0,0.28564 -0.45251,0.41429 -0.55134,0.15674 z m 9.17699,-0.47568 c -0.14272,-0.14272 0.0515,-0.51725 0.26825,-0.51725 0.21673,0 0.41097,0.37454 0.26824,0.51725 -0.05,0.05 -0.1707,0.0909 -0.26824,0.0909 -0.0976,0 -0.21828,-0.0409 -0.26825,-0.0909 z m -4.87554,-2.29098 c -0.0557,-0.0557 -0.10135,-0.21765 -0.10135,-0.35979 0,-0.17179 -0.34402,-0.41421 -1.02622,-0.72315 -0.94013,-0.42574 -1.04253,-0.44364 -1.22063,-0.21332 -0.17585,0.22742 -0.22973,0.20818 -0.56464,-0.20172 -0.55041,-0.67359 -0.48925,-0.8332 0.31923,-0.8332 0.5255,0 0.68074,0.0512 0.62166,0.20523 -0.12041,0.3138 1.80646,1.1759 2.48239,1.1106 0.61487,-0.0594 3.23693,-1.72375 3.08991,-1.96137 -0.11758,-0.19026 0.23231,-0.41336 0.65298,-0.41638 0.17921,-10e-4 0.36475,-0.10379 0.41235,-0.2278 0.10229,-0.26657 0.55413,-0.13979 0.55413,0.15548 0,0.11085 -0.11978,0.23956 -0.26617,0.28602 -0.14639,0.0465 -0.35854,0.29317 -0.47144,0.54825 -0.16267,0.36751 -0.24848,0.42791 -0.41345,0.29099 -0.16328,-0.13551 -0.5025,0.0353 -1.57308,0.79228 -0.75068,0.53078 -1.4354,1.119 -1.52154,1.30714 -0.15075,0.32902 -0.74013,0.47467 -0.97409,0.24071 z m -4.81441,-2.93925 c 0,-0.22899 0.0794,-0.31107 0.26605,-0.27512 0.14634,0.0282 0.26606,0.15199 0.26606,0.27512 0,0.12314 -0.11972,0.24695 -0.26606,0.27512 -0.18666,0.0359 -0.26605,-0.0461 -0.26605,-0.27512 z m 1.70124,-2.09045 c 0.0282,-0.14633 0.15199,-0.26605 0.27512,-0.26605 0.12314,0 0.24695,0.11972 0.27512,0.26605 0.036,0.18667 -0.0461,0.26606 -0.27512,0.26606 -0.22899,0 -0.31107,-0.0794 -0.27512,-0.26606 z m 5.54874,-0.13619 c -0.21521,-0.2152 -0.0934,-0.50995 0.21068,-0.50995 0.21255,0 0.2992,0.0826 0.26606,0.25345 -0.0543,0.27982 -0.31379,0.41945 -0.47674,0.25648 z m -2.84119,-2.87433 c 0,-0.10944 -0.15393,-0.22084 -0.34207,-0.24757 -0.18814,-0.0267 -0.34208,-0.1512 -0.34208,-0.27664 0,-0.17763 0.24368,-0.23793 1.10224,-0.27271 0.89076,-0.0361 1.10224,-0.002 1.10224,0.17979 0,0.12345 -0.13683,0.2679 -0.30407,0.32097 -0.3743,0.1188 -0.40366,0.53134 -0.038,0.53418 0.14634,10e-4 0.40289,0.0385 0.57013,0.0829 0.23203,0.0617 0.35314,-0.0312 0.51125,-0.3921 0.19071,-0.43535 0.1794,-0.50258 -0.14213,-0.84482 -0.69208,-0.73669 -2.31059,-0.83093 -3.21975,-0.1875 -0.43932,0.31091 -0.54254,0.8228 -0.26896,1.33396 0.12977,0.24248 0.22845,0.25852 0.76017,0.12355 0.33606,-0.0853 0.61103,-0.24464 0.61103,-0.35409 z" />
+    <g
+       id="g13776"
+       transform="translate(-13.175344,0.72754635)">
+      <path
+         sodipodi:nodetypes="cc"
+         style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+         d="m 172.66141,738.16006 h 44.91405"
+         id="path4691-0"
+         inkscape:connector-curvature="0" />
+      <path
+         style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 217.84318,733.72244 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+         id="path4419-8-77"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+      <path
+         style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 172.83607,733.92148 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+         id="path4419-4-3-3-8"
+         inkscape:connector-curvature="0"
+         sodipodi:nodetypes="ccccccc" />
+    </g>
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 229.82339,738.69959 h 30.42057"
+       id="path4691"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 260.27012,734.26197 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-8"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 229.99805,734.46101 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-3"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       inkscape:connector-curvature="0"
+       id="path4695"
+       d="M 283.69873,738.70863 H 341.5697"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 341.40363,734.11772 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-8-7"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 283.64422,734.26197 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-3-6"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       sodipodi:nodetypes="cc"
+       style="fill:#0000ff;stroke:#0000ff;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-start:none;marker-end:none"
+       d="m 576.88778,738.80076 40.46521,0.0854"
+       id="path4691-9-5"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:#008000;fill-opacity:0.294118;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 577.06595,734.53506 h -8.48368 v 2.42835 c -2.43099,0.74542 -6.75712,2.09715 0,3.64251 v 2.42835 h 8.48368 z"
+       id="path4419-4-1"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <path
+       style="fill:#008000;fill-opacity:0.293893;stroke:#008000;stroke-width:0.713771px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 617.4505,734.40274 h 8.39798 v 2.42835 c -3.87439,1.17237 -5.66038,2.92966 0,3.64251 v 2.42835 h -8.39798 z"
+       id="path4419-43-2"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="ccccccc" />
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:17.3333px;line-height:0%;font-family:FreeSans;-inkscape-font-specification:FreeSans;letter-spacing:0px;word-spacing:0px;fill:#0000ff;fill-opacity:1;stroke:none"
+       x="162.08578"
+       y="784.57434"
+       id="text4707-7-3"><tspan
+         style="font-size:17.3333px;line-height:1.25;fill:#0000ff"
+         sodipodi:role="line"
+         id="tspan4709-0-6-7"
+         x="162.08578"
+         y="784.57434">Figure: Actual execution of each parts (sequential simulation).</tspan></text>
+    <rect
+       style="font-variation-settings:normal;opacity:1;vector-effect:none;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.999999px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;stop-color:#000000;stop-opacity:1"
+       id="rect711"
+       width="612.39081"
+       height="95.672409"
+       x="78.61853"
+       y="718.32086" />
+  </g>
+</svg>
index 6673f65..9c41acb 100644 (file)
@@ -5,9 +5,9 @@
 The Modern Age of Computer Systems Simulation
 =============================================
 
-SimGrid is a framework to simulate distributed computer systems. It can be used
-to either :ref:`assess abstract algorithms <usecase_simalgo>` or to
-:ref:`debug and profile real MPI applications <usecase_smpi>`.
+SimGrid is a framework to simulate distributed computer systems. It can be used to either :ref:`assess the performance of
+abstract algorithms <usecase_simalgo>`, to :ref:`debug and profile real MPI applications <usecase_smpi>`. To some extend, it can
+also be used to :ref:`formally assess the correctness of simple algorithms and applications <usecase_modelchecking>`.
 
 SimGrid is routinely used in studies on (data-)Grids,
 IaaS Clouds (:ref:`API <API_s4u_VirtualMachine>`, :ref:`examples <s4u_ex_clouds>`),
@@ -22,7 +22,7 @@ The simulation models are **fast** (`🖹 <http://hal.inria.fr/hal-00650233>`__)
 **highly scalable** (`🖹 <http://hal.inria.fr/inria-00602216/>`__) while
 **theoretically sound and experimentally assessed** (`🖹 <http://doi.acm.org/10.1145/2517448>`__).
 Most of the time, SimGrid is used to predict the performance (time and energy) of a
-given IT infrastructure, and it includes a prototype model checker to formally
+given IT infrastructure, and it includes a prototypical model checker to formally
 assess these systems.
 
 Technically speaking, SimGrid is a library. It is neither a graphical
index cf69840..8073105 100644 (file)
@@ -107,6 +107,7 @@ int main(int argc, char** argv)
   free(pro);
   free(con);
   free(buffer);
+  free(ids);
 
   return 0;
 }
index 0c035f0..a54bed0 100644 (file)
@@ -13,3 +13,11 @@ $ env ASAN_OPTIONS=verify_asan_link_order=0:$ASAN_OPTIONS LD_PRELOAD=${libdir:=.
 > Consumer 1: Remove Item 2 from 0
 > Consumer 2: Remove Item 2 from 1
 > [0.000000] [sthread/INFO] All threads exited. Terminating the simulation.
+
+$ env ASAN_OPTIONS=verify_asan_link_order=0:$ASAN_OPTIONS LD_PRELOAD=${libdir:=.}/libsthread.so ./pthread-producer-consumer -c 2 -C 1 -p 2 -P 1
+> [0.000000] [sthread/INFO] Starting the simulation.
+> Producer 1: Insert Item 0 at 0
+> Consumer 1: Remove Item 0 from 0
+> Producer 1: Insert Item 1 at 1
+> Consumer 1: Remove Item 1 from 1
+> [0.000000] [sthread/INFO] All threads exited. Terminating the simulation.
index f8bdb6c..f420c1c 100644 (file)
@@ -797,6 +797,9 @@ set(DOC_SOURCES
   docs/source/_static/css/custom.css
   docs/source/_templates/breadcrumbs.html
 
+  docs/source/img/design-scheduling-parallel.svg
+  docs/source/img/design-scheduling-simulatedtime.svg
+  docs/source/img/design-scheduling-wallclock.svg
   docs/source/img/eclipseScreenShot.png
   docs/source/img/extlink.png
   docs/source/img/extlink.svg