Probabilistic Ticket Service

Problem Description

The ticket service model is consists of two customers, two ticket services, and an agent. Customer sends a ticket issue request to the agent which is forwarded to one of the ticket services probabilistically. The ticket services are issuing the ticket and reply the request of agents by sending “ticketIssued” message. The agent sends the “ticketIssued” message to the customer to complete the issuing process.

  • The specification of the model [zip]