This folder contains examples for MARCIE, which are located in the 
related subfolders. Each example is given in the APNN* notation.
In some cases there is an additional file containing reward structure specifications,
which are taken from the RRISM (www.prismmodelchecker.org) case study collection.

We provide the following examples:
Model				 Reference
-----------------------------------------------------------------------------------------
Circadian_Clock	www.prismmodelchecker.org/tutorial/circadian.php
ERK				Calder et. al. ,
				Analysis of Signalling Pathways using Continuous Time Markov Chains,
				2006
FMS				Ciardo and Trivedi,
				Decomposition approach for Stochastic Reward Net Models,
				1993
Kanban			Ciardo and Tilgner,
				On the Use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets,
				1996
MAPK			Huang and Ferrell,
				Ultrasensitivity in the mitogen-activated protein kinase cascade,
				1996

Further we provide some useful CSL pattern in the related subfolder.

R[C<=t].csl
R[F_place_eq_k].csl
R[I<=t].csl
R[S].csl

steadyState.csl
transient.csl
------------------------------------------------------------------

Example for usage:
//assuming that iddmc is in your PATH and this is the current folder
marcie --net-file=ERK/erk_bma_N.apnn --csl-f=CSL_templates/transient.csl --const N=10,token=2,time=1,place=ERK --threads=2

Multi-threaded (with two threads) computation of the 
probability to be in a state with 2 tokens on place ERK at time 1 for the ERK model,
when there are initially 10 tokens on the places Raf1Star, RKIP, MEKPP, ERK and RP.

For further details please see the manual (http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie).

-------------------------------------------------------------------
08.12.2010 Cottbus
Martin Schwarick