Author: niels
Date: Tue Aug 11 11:22:41 2009
New Revision: 4543
URL: http://svn.gna.org/viewcvs/service-tech?rev=4543&view=rev
Log:
* examples from the case study of the livelock OG paper
Added:
trunk/meta/nets/casestudy/StahlW_2009_acsd/
trunk/meta/nets/casestudy/StahlW_2009_acsd/06-03-23_BPM06_shop_sect_3.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/06-03-23_BPM06_shop_sect_6.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/Melderegisterauskunft-big.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/Melderegisterauskunft.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/Travel1.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/Travel2.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/atpn_V.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/b1.s00000152__s00003642.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/b2.s00000765__s00005402.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/b3.s00000475__s00002345.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/b3.s00000563__s00004394.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/dke07_shop_sect_3.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/dke07_shop_sect_6.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/loan.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/olive_prep.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/phcontrol3.unf.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/phcontrol5.unf.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/purchase.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/smtp-orig.owfn
trunk/meta/nets/casestudy/StahlW_2009_acsd/smtp_prot.owfn
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
