|
|
The Vending Machine for Chocolate (VMC) case study is a well-known and basic case study that has been used in the field of CSP (Communicating Sequential Processes). This model is an EM implementation of the VMC case study that is used by Rungrattanaubol in her PhD thesis to compare Empirical Modelling and CSP. The model is a simple chocolate machine that delivers two sizes of chocolate, can only accept 1 or 2p coins and can refund money. [Chris R]
| vmcRun-bol2001 is available locally within DCS at /dcs/emp/empublic/projects/vmcRun-bol2001 |
| Download vmcRun-bol2001.tar.gz Uncompressed, vmcRun-bol2001 is 70.5 Kbytes (in 9 files). Your download will be smaller as it will be compressed. Help on extracting the files from the download. |
README |
841 | 11:13 PM May 23 2001 | 12:19 PM Jul 27 2017 |
README.xml |
990 | 01:45 PM Jan 12 2004 | 12:19 PM Jul 27 2017 |
Run.e |
54 | 01:53 PM Jan 12 2004 | 12:19 PM Jul 27 2017 |
err-lgchoc.e |
120 | 01:36 PM Dec 13 2001 | 12:19 PM Jul 27 2017 |
screenshot.gif |
60716 | 01:48 PM Jan 12 2004 | 12:19 PM Jul 27 2017 |
vmc-state.e |
1420 | 02:37 PM May 24 2001 | 12:19 PM Jul 27 2017 |
vmc-state.s |
6520 | 08:54 PM Mar 23 2002 | 12:19 PM Jul 27 2017 |
vmc-state0.e |
1061 | 02:37 PM May 24 2001 | 12:19 PM Jul 27 2017 |
vmc.e |
490 | 02:37 PM May 24 2001 | 12:19 PM Jul 27 2017 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
