20 Marks 2. Create a petri net for a Customer Order, as described below. The main states of a customer order are pending (initial state, while stock levels are being checked) confirmed (only if the order can be fulfilled with available stock) filled (the order has been packaged ready for shipping) shipped (received by the customer but not paid) invoiced (the customer has received the goods) . paid (the customer has paid the amount due in full) closed (final state) Other information: 1. An order can only transition from pending to confirmed if the customer's credit rating is greater than or equal to the order total. 2. Every time an order enters the state confirmed, a message is sent to the warehouse to pack the order. 3. At any stage before shipping the order can be cancelled by the customer, in which case it is consider to be closed 4. If customer pays an installment, the order is only transitioned to the state paid when the final payment is made. 5. Every time an order transitions from paid to closed, a message to that effect is sent to the Accounts System, and the order is closed. 20 Marks 2. Create a petri net for a Customer Order, as described below. The main states of a customer order are pending (initial state, while stock levels are being checked) confirmed (only if the order can be fulfilled with available stock) filled (the order has been packaged ready for shipping) shipped (received by the customer but not paid) invoiced (the customer has received the goods) . paid (the customer has paid the amount due in full) closed (final state) Other information: 1. An order can only transition from pending to confirmed if the customer's credit rating is greater than or equal to the order total. 2. Every time an order enters the state confirmed, a message is sent to the warehouse to pack the order. 3. At any stage before shipping the order can be cancelled by the customer, in which case it is consider to be closed 4. If customer pays an installment, the order is only transitioned to the state paid when the final payment is made. 5. Every time an order transitions from paid to closed, a message to that effect is sent to the Accounts System, and the order is closed