piotrpolatowski/extendedVendingMachine

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