/*
 * Copyright (c) 2000-2015
 *
 * Andrea Bondavalli - University of Florence, Florence, Italy
 * Silvano Chiaradonna, Felicita Di Giandomenico - ISTI-CNR (formerly CNUCE), Pisa, Italy
 * Pisa, Italy
 *
 *
 *                        All Rights Reserved.
 *
 * This software has been provided pursuant to an agreement containing
 * restrictions on its disclosure, duplication, and use.  The software contains
 * proprietary information constituting valuable trade secrets of the
 * copyright holders and is protected as an unpublished work by
 * copyright law.  The software (or any portion thereof) may not be
 * used for any purpose not contemplated by the agreement.  This notice must be
 * embedded in or attached to all copies, including partial copies, of the
 * software or any revisions thereof. The copyright holders make no
 * representations about the suitability of this software for any purpose. 
 * It is provided "as is" without express or implied warranty.
 *
 * THE COPYRIGHT HOLDERS DISCLAIM ALL WARRANTIES WITH REGARD TO THIS
 * SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS.
 * IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE LIABLE FOR ANY SPECIAL,
 * INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING
 * FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT,
 * NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION
 * WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */


(c) May 2015

DEEM Version 1.2 is now available for x86 Linux, ppc MacOSX and x86 MacOSX.

Tested platforms: Ubuntu 14.04 x86_64 and MacOSX 10.10.3 x86_64.

Software required by the GUI:

- X Window System
- Openmotif (Version-Release >=2.2.2)

Software required to generate the documentation:

- fig2dev (provided by transfig, Version-Release >= 3.2.3-2 is required)
- latex
- dvips
- transfig
- gv

The package "deem-<version>.bin.<os>.<arch>.tar.gz" (where <os> is the operative system and <arch> is the architecture) contains the following:

- the file "README"               (this file)
- the executable "bin/deem"       (to invoke the GUI of DEEM)
- the executable "bin/deemas"      (to invoke the analytical solver of DEEM)
- the executable "bin/deemrep"    (to generate the documentation)
- the file "deem-cshrc.txt"      (an example of lines for .cshrc)
- the configuration file "conf/deem.conf" (to configurate DEEM)
- the dir "deem_models/PMS_model" (example of PMS model)
- the dir "deem_models/SMS_model" (example of SMS model)
- the dir "deem_models/calcService_MPS_model" (example of MPS models for web service-based system)
- the dir "deem_models/L1L2_MPS_model" (example of simple MPS models)

To install and use DEEM do the following:

- visit http://dcl.isti.cnr.it/DEEM to obtain the license file ".deemlicense" and drop this file in your home directory
- download the "deem-<version>.bin.<os>.<arch>.tar.gz" package for your system from http://dcl.isti.cnr.it/DEEMTOOL/deemhowtoget.html
- unpack the "deem-<version>.bin.<os>.<arch>.tar.gz" package; this will create the directory "deem-<version>.bin.<os>.<arch>"
- move the "deem-<version>.bin.<os>.<arch>" directory into the installation directory in which install the DEEM tree
- set the environment variable DEEM_HOME to the path of the "deem-<version>.bin.<os>.<arch>" directory
- in the file deem-cshrc.txt there is an example of lines that could be added to someone's .cshrc (assuming  use of C shell) to execute deem
- to invoke the GUI of DEEM start X Window Server and run "deem" from the command line prompt
- to invoke the analytical solver of DEEM run "deemas" from the command line prompt


To use correctly this version of DEEM you must consider the following items:

1) At least one timed activity must be enabled for each phase. The execution of the deem transient solver fails for models having phases with no timed activity enabled (for example see the models L1L2_net_c and L1L2_net_c_bis in directory deem_models/L1L2_MPS_model).
2) Measures can be defined only as a function of the marking of the SN net (DEEM fails if measures as a function of the marking of PhN are defined).
3) The measures are evaluated during each phase, after last phase ends the measures do not more change for next timepoints.
In the case 1) you can modify the model for example by adding dummy timed transitions.

For more details on the use of DEEM see the README and the examples in the directory deem_models.