The Processor model represents a processing delay for the received messages.
Each received message is sent through the output port after a delay equivalent to processTime. If a new message is received before ending the current process, it is rejected and the process continues.
| Name | Description |
|---|---|
| Confluent Transtition Function | |
| Internal Transition Function | |
| External Transition Function | |
| Output Function | |
| Time Advance Function | |