GitHub - piotrpolatowski/simpleVendingMachine: Process modeling and validation assignment 1, simple vending machine ind CADP

piotrpolatowski / simpleVendingMachine Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Process modeling and validation assignment 1, simple vending machine ind CADP

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
BS.aut		BS.aut
BS.aut~		BS.aut~
BS.bcg		BS.bcg
[email protected]		[email protected]
BSM.aut		BSM.aut
BSM.aut~		BSM.aut~
BSM.bcg		BSM.bcg
[email protected]		[email protected]
BottleManagment.aut		BottleManagment.aut
BottleManagment.bcg		BottleManagment.bcg
[email protected]		[email protected]
CS.aut		CS.aut
CS.aut~		CS.aut~
CS.bcg		CS.bcg
[email protected]		[email protected]
CSM.aut		CSM.aut
CSM.aut~		CSM.aut~
CSM.bcg		CSM.bcg
[email protected]		[email protected]
CU.aut		CU.aut
CU.aut~		CU.aut~
CU.bcg		CU.bcg
[email protected]		[email protected]
CoinManagment.aut		CoinManagment.aut
CoinManagment.bcg		CoinManagment.bcg
[email protected]		[email protected]
PN.aut		PN.aut
PN.aut~		PN.aut~
PN.bcg		PN.bcg
[email protected]		[email protected]
README		README
SimpleMA.aut		SimpleMA.aut
VendingMachine.aut		VendingMachine.aut
VendingMachine.bcg		VendingMachine.bcg
[email protected]		[email protected]
vendingMachine (another copy).svl		vendingMachine (another copy).svl
vendingMachine (copy).svl		vendingMachine (copy).svl
vendingMachine (copy).svl~		vendingMachine (copy).svl~
vendingMachine.log		vendingMachine.log
vendingMachine.svl		vendingMachine.svl
vendingMachine.svl~		vendingMachine.svl~
vendingMachine_backup.svl		vendingMachine_backup.svl
xsimulator		xsimulator

Repository files navigation

Course no.: 02246 
Course name: Process modelling and validation
Year: 2009

Simple vending machine project for mandatory assignment

Piotrek, Damian and xxx work