Skip to content
Snippets Groups Projects
Select Git revision
  • ecf50684cf8fb1c10c6004fc471808bb13075cec
  • main default protected
2 results

model-without-sync-flatted.net

Blame
    • model-without-sync-flatted.net 19.09 KiB 
    net FullModel
tr {CallbackInputTransition-LeftCellTopic-0-0} {CallbackCapacityPlace-LeftCellTopic-0-0} {CallbackInputPlace-LeftCellTopic-0-0} -> {CallbackConnectorPlace-LeftCellTopic-0-0} 
tr {CallbackInputTransition-RightCellTopic-0-0} {CallbackCapacityPlace-RightCellTopic-0-0} {CallbackInputPlace-RightCellTopic-0-0} -> {CallbackConnectorPlace-RightCellTopic-0-0} 
tr {CallbackInputTransition-UITopic-0-0} {CallbackCapacityPlace-UITopic-0-0} {CallbackInputPlace-UITopic-0-0} -> {CallbackConnectorPlace-UITopic-0-0} 
tr {CallbackOutputTransition-LeftCellTopic-0-0} {CallbackConnectorPlace-LeftCellTopic-0-0} -> {CallbackCapacityPlace-LeftCellTopic-0-0} {L-AwaitingControl} 
tr {CallbackOutputTransition-RightCellTopic-0-0} {CallbackConnectorPlace-RightCellTopic-0-0} -> {CallbackCapacityPlace-RightCellTopic-0-0} {R-AwaitingControl} 
tr {CallbackOutputTransition-UITopic-0-0} {CallbackConnectorPlace-UITopic-0-0} -> {CallbackCapacityPlace-UITopic-0-0} FeedbackIn 
tr {CallbackOverflowTransition-LeftCellTopic-0-0} {CallbackCapacityPlace-LeftCellTopic-0-0}?-1 {CallbackInputPlace-LeftCellTopic-0-0} ->
tr {CallbackOverflowTransition-RightCellTopic-0-0} {CallbackCapacityPlace-RightCellTopic-0-0}?-1 {CallbackInputPlace-RightCellTopic-0-0} ->
tr {CallbackOverflowTransition-UITopic-0-0} {CallbackCapacityPlace-UITopic-0-0}?-1 {CallbackInputPlace-UITopic-0-0} ->
tr {ChannelConnectorTransition-LeftCellTopic} {ChannelConnectorPlace-LeftCellTopic} -> {DispatcherInputPlace-LeftCellTopic-0} 
tr {ChannelConnectorTransition-RightCellTopic} {ChannelConnectorPlace-RightCellTopic} -> {DispatcherInputPlace-RightCellTopic-0} 
tr {ChannelConnectorTransition-UITopic} {ChannelConnectorPlace-UITopic} -> {DispatcherInputPlace-UITopic-0} 
tr {DispatcherInputTransition-LeftCellTopic-0} {DispatcherCapacityPlace-LeftCellTopic-0} {DispatcherInputPlace-LeftCellTopic-0} -> {DispatcherConnectorPlace-LeftCellTopic-0} 
tr {DispatcherInputTransition-RightCellTopic-0} {DispatcherCapacityPlace-RightCellTopic-0} {DispatcherInputPlace-RightCellTopic-0} -> {DispatcherConnectorPlace-RightCellTopic-0} 
tr {DispatcherInputTransition-UITopic-0} {DispatcherCapacityPlace-UITopic-0} {DispatcherInputPlace-UITopic-0} -> {DispatcherConnectorPlace-UITopic-0} 
tr {DispatcherOutputTransition-LeftCellTopic-0} {DispatcherConnectorPlace-LeftCellTopic-0} -> {CallbackInputPlace-LeftCellTopic-0-0} {DispatcherCapacityPlace-LeftCellTopic-0} 
tr {DispatcherOutputTransition-RightCellTopic-0} {DispatcherConnectorPlace-RightCellTopic-0} -> {CallbackInputPlace-RightCellTopic-0-0} {DispatcherCapacityPlace-RightCellTopic-0} 
tr {DispatcherOutputTransition-UITopic-0} {DispatcherConnectorPlace-UITopic-0} -> {CallbackInputPlace-UITopic-0-0} {DispatcherCapacityPlace-UITopic-0} 
tr {DispatcherOverflowTransition-LeftCellTopic-0} {DispatcherCapacityPlace-LeftCellTopic-0}?-1 {DispatcherInputPlace-LeftCellTopic-0} ->
tr {DispatcherOverflowTransition-RightCellTopic-0} {DispatcherCapacityPlace-RightCellTopic-0}?-1 {DispatcherInputPlace-RightCellTopic-0} ->
tr {DispatcherOverflowTransition-UITopic-0} {DispatcherCapacityPlace-UITopic-0}?-1 {DispatcherInputPlace-UITopic-0} ->
tr {GetSensorData-INSTANCE-0} {PD-0-GetSensorData-INSTANCE-0} {SensorIn-INSTANCE-0} -> {PD-0-GetSensorData-INSTANCE-0} {SensorInter-INSTANCE-0} 
tr {InputSignalToFalseTransition-Blue} {InputSignalTruePlace-Blue} {PD-0-SortBlue} -> {InputSignalFalsePlace-Blue} 
tr {InputSignalToFalseTransition-Green} {InputSignalTruePlace-Green} {PD-0-SortGreen} -> {InputSignalFalsePlace-Green} 
tr {InputSignalToFalseTransition-PickFail} {PD-0-PickingFail-INSTANCE-0} {PD-0-PickingFail-INSTANCE-1} {InputSignalTruePlace-PickFail} -> {InputSignalFalsePlace-PickFail} 
tr {InputSignalToFalseTransition-PickSuccess} {InputSignalTruePlace-PickSuccess} {PD-0-PickingSuccess-INSTANCE-1} {PD-0-PickingSuccess-INSTANCE-0} -> {InputSignalFalsePlace-PickSuccess} 
tr {InputSignalToFalseTransition-PlaceFail} {InputSignalTruePlace-PlaceFail} {PD-0-PlacingFail-INSTANCE-0} {PD-0-PlacingFail-INSTANCE-1} -> {InputSignalFalsePlace-PlaceFail} 
tr {InputSignalToFalseTransition-PlaceSuccess} {PD-0-PlacingSuccess-INSTANCE-1} {PD-0-PlacingSuccess-INSTANCE-0} {InputSignalTruePlace-PlaceSuccess} -> {InputSignalFalsePlace-PlaceSuccess} 
tr {InputSignalToFalseTransition-Red} {InputSignalTruePlace-Red} {PD-0-SortRed} -> {InputSignalFalsePlace-Red} 
tr {InputSignalToFalseTransition-Sensor} {PD-0-GetSensorData-INSTANCE-0} {InputSignalTruePlace-Sensor} -> {InputSignalFalsePlace-Sensor} 
tr {InputSignalToFalseTransition-Stop} {PD-0-SafeToUnsafe} {InputSignalTruePlace-Stop} -> {InputSignalFalsePlace-Stop} 
tr {InputSignalToTrueTransition-Blue} {InputSignalFalsePlace-Blue} -> {InputSignalTruePlace-Blue} {PD-0-SortBlue} 
tr {InputSignalToTrueTransition-Green} {InputSignalFalsePlace-Green} -> {InputSignalTruePlace-Green} {PD-0-SortGreen} 
tr {InputSignalToTrueTransition-PickFail} {InputSignalFalsePlace-PickFail} -> {PD-0-PickingFail-INSTANCE-0} {PD-0-PickingFail-INSTANCE-1} {InputSignalTruePlace-PickFail} 
tr {InputSignalToTrueTransition-PickSuccess} {InputSignalFalsePlace-PickSuccess} -> {InputSignalTruePlace-PickSuccess} {PD-0-PickingSuccess-INSTANCE-1} {PD-0-PickingSuccess-INSTANCE-0} 
tr {InputSignalToTrueTransition-PlaceFail} {InputSignalFalsePlace-PlaceFail} -> {InputSignalTruePlace-PlaceFail} {PD-0-PlacingFail-INSTANCE-0} {PD-0-PlacingFail-INSTANCE-1} 
tr {InputSignalToTrueTransition-PlaceSuccess} {InputSignalFalsePlace-PlaceSuccess} -> {PD-0-PlacingSuccess-INSTANCE-1} {PD-0-PlacingSuccess-INSTANCE-0} {InputSignalTruePlace-PlaceSuccess} 
tr {InputSignalToTrueTransition-Red} {InputSignalFalsePlace-Red} -> {InputSignalTruePlace-Red} {PD-0-SortRed} 
tr {InputSignalToTrueTransition-Sensor} {InputSignalFalsePlace-Sensor} -> {PD-0-GetSensorData-INSTANCE-0} {InputSignalTruePlace-Sensor} 
tr {InputSignalToTrueTransition-Stop} {InputSignalFalsePlace-Stop} -> {PD-0-SafeToUnsafe} {InputSignalTruePlace-Stop} 
tr {L-EndControl-T} {L-ObjectPlaced} -> {L-Done} 
tr {L-ReqControl-T} {L-AwaitingControl} -> {L-Ready} 
tr {Pick-INSTANCE-0} Safe {PickInput-INSTANCE-0} -> Safe {Picking-INSTANCE-0} 
tr {Pick-INSTANCE-1} Safe {PickInput-INSTANCE-1} -> Safe {Picking-INSTANCE-1} 
tr {PickingAbort-INSTANCE-0} {Picking-INSTANCE-0} Unsafe -> {PickOutput-INSTANCE-0} Unsafe 
tr {PickingAbort-INSTANCE-1} {Picking-INSTANCE-1} Unsafe -> {PickOutput-INSTANCE-1} Unsafe 
tr {PickingFail-INSTANCE-0} {PD-0-PickingFail-INSTANCE-0} {Picking-INSTANCE-0} -> {PD-0-PickingFail-INSTANCE-0} {PickOutput-INSTANCE-0} 
tr {PickingFail-INSTANCE-1} {PD-0-PickingFail-INSTANCE-1} {Picking-INSTANCE-1} -> {PD-0-PickingFail-INSTANCE-1} {PickOutput-INSTANCE-1} 
tr {PickingSuccess-INSTANCE-0} {PD-0-PickingSuccess-INSTANCE-0} {Picking-INSTANCE-0} -> {PD-0-PickingSuccess-INSTANCE-0} {PickOutput-INSTANCE-0} 
tr {PickingSuccess-INSTANCE-1} {PD-0-PickingSuccess-INSTANCE-1} {Picking-INSTANCE-1} -> {PD-0-PickingSuccess-INSTANCE-1} {PickOutput-INSTANCE-1} 
tr {Place-INSTANCE-0} Safe {PlaceInput-INSTANCE-0} -> Safe {Placing-INSTANCE-0} 
tr {Place-INSTANCE-1} Safe {PlaceInput-INSTANCE-1} -> Safe {Placing-INSTANCE-1} 
tr {PlacingAbort-INSTANCE-0} Unsafe {Placing-INSTANCE-0} -> Unsafe {PlaceOutput-INSTANCE-0} 
tr {PlacingAbort-INSTANCE-1} Unsafe {Placing-INSTANCE-1} -> Unsafe {PlaceOutput-INSTANCE-1} 
tr {PlacingFail-INSTANCE-0} {PD-0-PlacingFail-INSTANCE-0} {Placing-INSTANCE-0} -> {PD-0-PlacingFail-INSTANCE-0} {PlaceOutput-INSTANCE-0} 
tr {PlacingFail-INSTANCE-1} {PD-0-PlacingFail-INSTANCE-1} {Placing-INSTANCE-1} -> {PD-0-PlacingFail-INSTANCE-1} {PlaceOutput-INSTANCE-1} 
tr {PlacingSuccess-INSTANCE-0} {PD-0-PlacingSuccess-INSTANCE-0} {Placing-INSTANCE-0} -> {PD-0-PlacingSuccess-INSTANCE-0} {PlaceOutput-INSTANCE-0} 
tr {PlacingSuccess-INSTANCE-1} {PD-0-PlacingSuccess-INSTANCE-1} {Placing-INSTANCE-1} -> {PD-0-PlacingSuccess-INSTANCE-1} {PlaceOutput-INSTANCE-1} 
tr {ProcessSensorData-INSTANCE-0} {SensorInter-INSTANCE-0} -> {SensorOut-INSTANCE-0} 
tr {PublisherInputTransition-LeftCellTopic-0} {PublisherCapacityPlace-LeftCellTopic-0} RedOut -> {PublisherConnectorPlace-LeftCellTopic-0} 
tr {PublisherInputTransition-LeftCellTopic-1} BlueOut {PublisherCapacityPlace-LeftCellTopic-1} -> {PublisherConnectorPlace-LeftCellTopic-1} 
tr {PublisherInputTransition-RightCellTopic-0} GreenOut {PublisherCapacityPlace-RightCellTopic-0} -> {PublisherConnectorPlace-RightCellTopic-0} 
tr {PublisherInputTransition-UITopic-0} {L-Done} {PublisherCapacityPlace-UITopic-0} -> {PublisherConnectorPlace-UITopic-0} 
tr {PublisherInputTransition-UITopic-1} {PublisherCapacityPlace-UITopic-1} {R-Done} -> {PublisherConnectorPlace-UITopic-1} 
tr {PublisherOutputTransition-LeftCellTopic-0} {PublisherConnectorPlace-LeftCellTopic-0} -> {ChannelConnectorPlace-LeftCellTopic} {PublisherCapacityPlace-LeftCellTopic-0} 
tr {PublisherOutputTransition-LeftCellTopic-1} {PublisherConnectorPlace-LeftCellTopic-1} -> {ChannelConnectorPlace-LeftCellTopic} {PublisherCapacityPlace-LeftCellTopic-1} 
tr {PublisherOutputTransition-RightCellTopic-0} {PublisherConnectorPlace-RightCellTopic-0} -> {ChannelConnectorPlace-RightCellTopic} {PublisherCapacityPlace-RightCellTopic-0} 
tr {PublisherOutputTransition-UITopic-0} {PublisherConnectorPlace-UITopic-0} -> {ChannelConnectorPlace-UITopic} {PublisherCapacityPlace-UITopic-0} 
tr {PublisherOutputTransition-UITopic-1} {PublisherConnectorPlace-UITopic-1} -> {ChannelConnectorPlace-UITopic} {PublisherCapacityPlace-UITopic-1} 
    tr {PublisherOverflowTransition-LeftCellTopic-0} {PublisherCapacityPlace-LeftCellTopic-0}?-1 RedOut ->
tr {PublisherOverflowTransition-LeftCellTopic-1} BlueOut {PublisherCapacityPlace-LeftCellTopic-1}?-1 ->
tr {PublisherOverflowTransition-RightCellTopic-0} GreenOut {PublisherCapacityPlace-RightCellTopic-0}?-1 ->
tr {PublisherOverflowTransition-UITopic-0} {L-Done} {PublisherCapacityPlace-UITopic-0}?-1 ->
tr {PublisherOverflowTransition-UITopic-1} {PublisherCapacityPlace-UITopic-1}?-1 {R-Done} ->
tr {R-EndControl-T} {R-ObjectPlaced} -> {R-Done} 
tr {R-ReqControl-T} {R-AwaitingControl} -> {R-Ready} 
tr SafeToSensorCall Safe -> SensorCall 
tr SafeToUnsafe {PD-0-SafeToUnsafe} Safe -> {PD-0-SafeToUnsafe} Unsafe 
tr {ServiceCallMultiEntryTransition-pickService-0-0} {ServiceClientCallPlace-pickService-0} {ServiceCallMultiInactivePlace-pickService-0} -> {PickInput-INSTANCE-0} {ServiceCallMultiActivePlace-pickService-0} {ServiceCallMultiFlagPlace-pickService-0-0} 
tr {ServiceCallMultiEntryTransition-pickService-0-1} {ServiceCallMultiInactivePlace-pickService-0} {ServiceClientCallPlace-pickService-1} -> {PickInput-INSTANCE-0} {ServiceCallMultiActivePlace-pickService-0} {ServiceCallMultiFlagPlace-pickService-0-1} 
tr {ServiceCallMultiEntryTransition-pickService-1-0} {ServiceClientCallPlace-pickService-0} {ServiceCallMultiInactivePlace-pickService-1} -> {PickInput-INSTANCE-1} {ServiceCallMultiActivePlace-pickService-1} {ServiceCallMultiFlagPlace-pickService-1-0} 
tr {ServiceCallMultiEntryTransition-pickService-1-1} {ServiceClientCallPlace-pickService-1} {ServiceCallMultiInactivePlace-pickService-1} -> {PickInput-INSTANCE-1} {ServiceCallMultiActivePlace-pickService-1} {ServiceCallMultiFlagPlace-pickService-1-1} 
tr {ServiceCallMultiEntryTransition-placeService-0-0} {ServiceClientCallPlace-placeService-0} {ServiceCallMultiInactivePlace-placeService-0} -> {PlaceInput-INSTANCE-0} {ServiceCallMultiActivePlace-placeService-0} {ServiceCallMultiFlagPlace-placeService-0-0} 
tr {ServiceCallMultiEntryTransition-placeService-0-1} {ServiceCallMultiInactivePlace-placeService-0} {ServiceClientCallPlace-placeService-1} -> {PlaceInput-INSTANCE-0} {ServiceCallMultiActivePlace-placeService-0} {ServiceCallMultiFlagPlace-placeService-0-1} 
tr {ServiceCallMultiEntryTransition-placeService-1-0} {ServiceClientCallPlace-placeService-0} {ServiceCallMultiInactivePlace-placeService-1} -> {PlaceInput-INSTANCE-1} {ServiceCallMultiActivePlace-placeService-1} {ServiceCallMultiFlagPlace-placeService-1-0} 
tr {ServiceCallMultiEntryTransition-placeService-1-1} {ServiceClientCallPlace-placeService-1} {ServiceCallMultiInactivePlace-placeService-1} -> {PlaceInput-INSTANCE-1} {ServiceCallMultiActivePlace-placeService-1} {ServiceCallMultiFlagPlace-placeService-1-1} 
tr {ServiceCallMultiEntryTransition-sensorService-0-0} {ServiceCallMultiInactivePlace-sensorService-0} {ServiceClientCallPlace-sensorService-0} -> {SensorIn-INSTANCE-0} {ServiceCallMultiActivePlace-sensorService-0} {ServiceCallMultiFlagPlace-sensorService-0-0} 
tr {ServiceCallMultiExitTransition-pickService-0-0} {PickOutput-INSTANCE-0} {ServiceCallMultiActivePlace-pickService-0} {ServiceCallMultiFlagPlace-pickService-0-0} -> {ServiceCallMultiInactivePlace-pickService-0} {ServiceClientRespPlace-pickService-0} 
tr {ServiceCallMultiExitTransition-pickService-0-1} {PickOutput-INSTANCE-0} {ServiceCallMultiActivePlace-pickService-0} {ServiceCallMultiFlagPlace-pickService-0-1} -> {ServiceCallMultiInactivePlace-pickService-0} {ServiceClientRespPlace-pickService-1} 
tr {ServiceCallMultiExitTransition-pickService-1-0} {PickOutput-INSTANCE-1} {ServiceCallMultiActivePlace-pickService-1} {ServiceCallMultiFlagPlace-pickService-1-0} -> {ServiceCallMultiInactivePlace-pickService-1} {ServiceClientRespPlace-pickService-0} 
tr {ServiceCallMultiExitTransition-pickService-1-1} {PickOutput-INSTANCE-1} {ServiceCallMultiActivePlace-pickService-1} {ServiceCallMultiFlagPlace-pickService-1-1} -> {ServiceCallMultiInactivePlace-pickService-1} {ServiceClientRespPlace-pickService-1} 
tr {ServiceCallMultiExitTransition-placeService-0-0} {PlaceOutput-INSTANCE-0} {ServiceCallMultiActivePlace-placeService-0} {ServiceCallMultiFlagPlace-placeService-0-0} -> {ServiceCallMultiInactivePlace-placeService-0} {ServiceClientRespPlace-placeService-0} 
tr {ServiceCallMultiExitTransition-placeService-0-1} {PlaceOutput-INSTANCE-0} {ServiceCallMultiActivePlace-placeService-0} {ServiceCallMultiFlagPlace-placeService-0-1} -> {ServiceCallMultiInactivePlace-placeService-0} {ServiceClientRespPlace-placeService-1} 
tr {ServiceCallMultiExitTransition-placeService-1-0} {PlaceOutput-INSTANCE-1} {ServiceCallMultiActivePlace-placeService-1} {ServiceCallMultiFlagPlace-placeService-1-0} -> {ServiceCallMultiInactivePlace-placeService-1} {ServiceClientRespPlace-placeService-0} 
tr {ServiceCallMultiExitTransition-placeService-1-1} {PlaceOutput-INSTANCE-1} {ServiceCallMultiActivePlace-placeService-1} {ServiceCallMultiFlagPlace-placeService-1-1} -> {ServiceCallMultiInactivePlace-placeService-1} {ServiceClientRespPlace-placeService-1} 
tr {ServiceCallMultiExitTransition-sensorService-0-0} {SensorOut-INSTANCE-0} {ServiceCallMultiActivePlace-sensorService-0} {ServiceCallMultiFlagPlace-sensorService-0-0} -> {ServiceCallMultiInactivePlace-sensorService-0} {ServiceClientRespPlace-sensorService-0} 
tr {ServiceClientCallConnectTransition-pickService-0} {L-Ready} {ServiceTogglePlace-pickService-0} -> {ServiceClientCallConnectPlace-pickService-0} 
tr {ServiceClientCallConnectTransition-pickService-1} {R-Ready} {ServiceTogglePlace-pickService-1} -> {ServiceClientCallConnectPlace-pickService-1} 
tr {ServiceClientCallConnectTransition-placeService-0} {L-ObjectPicked} {ServiceTogglePlace-placeService-0} -> {ServiceClientCallConnectPlace-placeService-0} 
tr {ServiceClientCallConnectTransition-placeService-1} {R-ObjectPicked} {ServiceTogglePlace-placeService-1} -> {ServiceClientCallConnectPlace-placeService-1} 
tr {ServiceClientCallConnectTransition-sensorService-0} SensorCall {ServiceTogglePlace-sensorService-0} -> {ServiceClientCallConnectPlace-sensorService-0} 
tr {ServiceClientCallTransition-pickService-0} {ServiceClientCallConnectPlace-pickService-0} -> {ServiceClientCallPlace-pickService-0} 
tr {ServiceClientCallTransition-pickService-1} {ServiceClientCallConnectPlace-pickService-1} -> {ServiceClientCallPlace-pickService-1} 
tr {ServiceClientCallTransition-placeService-0} {ServiceClientCallConnectPlace-placeService-0} -> {ServiceClientCallPlace-placeService-0} 
tr {ServiceClientCallTransition-placeService-1} {ServiceClientCallConnectPlace-placeService-1} -> {ServiceClientCallPlace-placeService-1} 
tr {ServiceClientCallTransition-sensorService-0} {ServiceClientCallConnectPlace-sensorService-0} -> {ServiceClientCallPlace-sensorService-0} 
tr {ServiceClientRespConnectTransition-pickService-0} {ServiceClientRespConnectPlace-pickService-0} -> {L-ObjectPicked} {ServiceTogglePlace-pickService-0} 
tr {ServiceClientRespConnectTransition-pickService-1} {ServiceClientRespConnectPlace-pickService-1} -> {R-ObjectPicked} {ServiceTogglePlace-pickService-1} 
tr {ServiceClientRespConnectTransition-placeService-0} {ServiceClientRespConnectPlace-placeService-0} -> {L-ObjectPlaced} {ServiceTogglePlace-placeService-0} 
tr {ServiceClientRespConnectTransition-placeService-1} {ServiceClientRespConnectPlace-placeService-1} -> {R-ObjectPlaced} {ServiceTogglePlace-placeService-1} 
tr {ServiceClientRespConnectTransition-sensorService-0} {ServiceClientRespConnectPlace-sensorService-0} -> SensorResponse {ServiceTogglePlace-sensorService-0} 
tr {ServiceClientRespTransition-pickService-0} {ServiceClientRespPlace-pickService-0} -> {ServiceClientRespConnectPlace-pickService-0} 
tr {ServiceClientRespTransition-pickService-1} {ServiceClientRespPlace-pickService-1} -> {ServiceClientRespConnectPlace-pickService-1} 
tr {ServiceClientRespTransition-placeService-0} {ServiceClientRespPlace-placeService-0} -> {ServiceClientRespConnectPlace-placeService-0} 
tr {ServiceClientRespTransition-placeService-1} {ServiceClientRespPlace-placeService-1} -> {ServiceClientRespConnectPlace-placeService-1} 
tr {ServiceClientRespTransition-sensorService-0} {ServiceClientRespPlace-sensorService-0} -> {ServiceClientRespConnectPlace-sensorService-0} 
tr ShowFeedback FeedbackIn -> FeedbackDone 
tr SortBlue {PD-0-SortBlue} ObjectPoolBlue -> BlueOut {PD-0-SortBlue} 
tr SortGreen {PD-0-SortGreen} ObjectPoolGreen -> GreenOut {PD-0-SortGreen} 
tr SortRed {PD-0-SortRed} ObjectPoolRed -> {PD-0-SortRed} RedOut 
tr TransitionSafe SensorResponse -> Safe 
tr TransitionUnsafe SensorResponse -> Unsafe 
tr UnsafeToSensorCall Unsafe -> SensorCall 
pl {CallbackCapacityPlace-LeftCellTopic-0-0} (10)
pl {CallbackCapacityPlace-RightCellTopic-0-0} (10)
pl {CallbackCapacityPlace-UITopic-0-0} (10)
pl {DispatcherCapacityPlace-LeftCellTopic-0} (16)
pl {DispatcherCapacityPlace-RightCellTopic-0} (16)
pl {DispatcherCapacityPlace-UITopic-0} (16)
pl {InputSignalFalsePlace-Blue} (1)
pl {InputSignalFalsePlace-Green} (1)
pl {InputSignalFalsePlace-PickFail} (1)
pl {InputSignalFalsePlace-PickSuccess} (1)
pl {InputSignalFalsePlace-PlaceFail} (1)
pl {InputSignalFalsePlace-PlaceSuccess} (1)
pl {InputSignalFalsePlace-Red} (1)
pl {InputSignalFalsePlace-Sensor} (1)
pl {InputSignalFalsePlace-Stop} (1)
pl ObjectPoolBlue (1)
    pl ObjectPoolGreen (1)
pl ObjectPoolRed (1)
pl {PublisherCapacityPlace-LeftCellTopic-0} (10)
pl {PublisherCapacityPlace-LeftCellTopic-1} (10)
pl {PublisherCapacityPlace-RightCellTopic-0} (10)
pl {PublisherCapacityPlace-UITopic-0} (10)
pl {PublisherCapacityPlace-UITopic-1} (10)
pl {ServiceCallMultiInactivePlace-pickService-0} (1)
pl {ServiceCallMultiInactivePlace-pickService-1} (1)
pl {ServiceCallMultiInactivePlace-placeService-0} (1)
pl {ServiceCallMultiInactivePlace-placeService-1} (1)
pl {ServiceCallMultiInactivePlace-sensorService-0} (1)
pl {ServiceTogglePlace-pickService-0} (1)
pl {ServiceTogglePlace-pickService-1} (1)
pl {ServiceTogglePlace-placeService-0} (1)
pl {ServiceTogglePlace-placeService-1} (1)
pl {ServiceTogglePlace-sensorService-0} (1)
pl Unsafe (1)