[
{
"event_expression": "new",
"event_parameters": [
"message_interdeparture_time",
"thinning",
"job_port",
"store_records"
],
"event_routine": {
"state_transitions": [],
"scheduling": [
{
"event_expression_target": "events_int",
"parameters": [],
"condition": null,
"delay": "\\sigma"
}
],
"cancelling": []
}
},
{
"event_expression": "release_job",
"event_parameters": [
"services"
],
"event_routine": {
"state_transitions": [
[
"self.state.phase",
"Phase :: Generating"
],
[
"self.state.until_next_event",
"interdeparture"
],
[
"self.state.until_job",
"interdeparture"
]
],
"scheduling": [
{
"event_expression_target": "events_int",
"parameters": [],
"condition": null,
"delay": "\\sigma"
}
],
"cancelling": []
}
},
{
"event_expression": "initialize_generation",
"event_parameters": [
"services"
],
"event_routine": {
"state_transitions": [
[
"self.state.phase",
"Phase :: Generating"
],
[
"self.state.until_next_event",
"interdeparture"
],
[
"self.state.until_job",
"interdeparture"
]
],
"scheduling": [
{
"event_expression_target": "events_int",
"parameters": [],
"condition": null,
"delay": "\\sigma"
}
],
"cancelling": []
}
},
{
"event_expression": "record",
"event_parameters": [
"time",
"action",
"subject"
],
"event_routine": {
"state_transitions": [],
"scheduling": [
{
"event_expression_target": "events_int",
"parameters": [],
"condition": null,
"delay": "\\sigma"
}
],
"cancelling": []
}
},
{
"event_expression": "events_int",
"event_parameters": [
"services"
],
"event_routine": {
"state_transitions": [],
"scheduling": [
{
"event_expression_target": "release_job",
"parameters": [],
"condition": "& self.state.phase = Phase :: Generating",
"delay": null
},
{
"event_expression_target": "initialize_generation",
"parameters": [],
"condition": "& self.state.phase = Phase :: Initializing",
"delay": null
}
],
"cancelling": []
}
}
]