Skip to content
Snippets Groups Projects
Commit c1552d4d authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

removed temp files

parent cbba4620
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 0 additions and 816 deletions
temp/net/54273112-b46f-4ed3-ab0c-b89d209c0195flatted-97cb86a6-8799-4387-95a7-229493030179.net deleted 100644 → 0
+ 0
− 10
View file @ cbba4620
net {service-test}
tr {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceQueueInputPlace-serverInstance-0-serverInstance-0}
tr {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelInPlace {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
tr {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {resp-place}
tr {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} -> {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0}
tr {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} ->
tr {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} -> {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} outRefPlace
tr {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelBackInPlace -> {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}
pl {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} (16)
pl {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} (1)
temp/net/6111baa6-cb82-49b5-82a4-1f3cf221ef5bflatted-e8db0bbb-f09b-48e6-80d6-7971b211ec5a.net deleted 100644 → 0
+ 0
− 10
View file @ cbba4620
net {service-test}
tr {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceQueueInputPlace-serverInstance-0-serverInstance-0}
tr {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelInPlace {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
tr {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {resp-place}
tr {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} -> {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0}
tr {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} ->
tr {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} -> {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} outRefPlace
tr {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelBackInPlace -> {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}
pl {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} (16)
pl {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} (1)
temp/pnml/8186ef57-1bcf-4cc7-95d0-adb1ea65fcdfflatted-e8db0bbb-f09b-48e6-80d6-7971b211ec5a.pnml deleted 100644 → 0
+ 0
− 330
View file @ cbba4620
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="n-E2D0-BCF46-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
<page id="top">
<place id="ServiceTogglePlace-serverInstance-0-clientCount-0">
<name>
<text>ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>1</text>
</initialMarking>
</place>
<place id="ClientToServicePlace-serverInstance-0-clientCount-0">
<name>
<text>ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="InputToOutputServicePlace-serverInstance-0-clientCount-0">
<name>
<text>InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="resp-place">
<name>
<text>resp-place</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="channelBackInPlace-0-0">
<name>
<text>channelBackInPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc3</location>
<subnet>locB</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueCapacityPlace-serverInstance-0">
<name>
<text>ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>16</text>
</initialMarking>
</place>
<place id="outRefPlace-0-0">
<name>
<text>outRefPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc3</location>
<subnet>locB</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="channelInPlace">
<name>
<text>channelInPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceOutputPlace-serverInstance-0-clientCount-0">
<name>
<text>ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueOutputPlace-serverInstance-0">
<name>
<text>ServiceQueueOutputPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueInputPlace-serverInstance-0">
<name>
<text>ServiceQueueInputPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<transition id="ServiceClientConnectorTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceQueueInputTransition-serverInstance-0">
<name>
<text>ServiceQueueInputTransition-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceQueueOverflowTransition-serverInstance-0">
<name>
<text>ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceServerInputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceClientInputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceClientOutputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<arc id="server-to-queue-arcserverInstance-0-clientCount-0" source="ServiceServerOutputTransition-serverInstance-0-clientCount-0" target="ServiceQueueCapacityPlace-serverInstance-0">
</arc>
<arc id="channel-client-input-arcserverInstance-0-clientCount-0" source="channelInPlace" target="ServiceClientInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="queue-to-server-arcserverInstance-0-clientCount-0" source="ServiceQueueOutputPlace-serverInstance-0" target="ServiceServerInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="channel-server-queue-input-arcserverInstance-0-clientCount-0" source="ServiceClientConnectorTransition-serverInstance-0-clientCount-0" target="ServiceQueueInputPlace-serverInstance-0">
</arc>
<arc id="arc-ServiceClientInputTransition-serverInstance-0-clientCount-0-ClientToServicePlace-serverInstance-0-clientCount-0" source="ServiceClientInputTransition-serverInstance-0-clientCount-0" target="ClientToServicePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceClientOutputTransition-serverInstance-0-clientCount-0-ServiceTogglePlace-serverInstance-0-clientCount-0" source="ServiceClientOutputTransition-serverInstance-0-clientCount-0" target="ServiceTogglePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueCapacityPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueCapacityPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>inhibitor</type>
</toolspecific>
</arc>
<arc id="arc-ServiceOutputPlace-serverInstance-0-clientCount-0-ServiceClientOutputTransition-serverInstance-0-clientCount-0" source="ServiceOutputPlace-serverInstance-0-clientCount-0" target="ServiceClientOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-InputToOutputServicePlace-serverInstance-0-clientCount-0-ServiceServerOutputTransition-serverInstance-0-clientCount-0" source="InputToOutputServicePlace-serverInstance-0-clientCount-0" target="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="channel-server-input-arcserverInstance-0-clientCount-0" source="ServiceServerInputTransition-serverInstance-0-clientCount-0" target="outRefPlace-0-0">
</arc>
<arc id="arc-ServiceServerInputTransition-serverInstance-0-clientCount-0-InputToOutputServicePlace-serverInstance-0-clientCount-0" source="ServiceServerInputTransition-serverInstance-0-clientCount-0" target="InputToOutputServicePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueInputTransition-serverInstance-0-ServiceQueueOutputPlace-serverInstance-0" source="ServiceQueueInputTransition-serverInstance-0" target="ServiceQueueOutputPlace-serverInstance-0">
</arc>
<arc id="arc-ServiceQueueInputPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueInputPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
</arc>
<arc id="channel-server-output-arcserverInstance-0-clientCount-0" source="channelBackInPlace-0-0" target="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceServerOutputTransition-serverInstance-0-clientCount-0-ServiceOutputPlace-serverInstance-0-clientCount-0" source="ServiceServerOutputTransition-serverInstance-0-clientCount-0" target="ServiceOutputPlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceTogglePlace-serverInstance-0-clientCount-0-ServiceClientInputTransition-serverInstance-0-clientCount-0" source="ServiceTogglePlace-serverInstance-0-clientCount-0" target="ServiceClientInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueCapacityPlace-serverInstance-0-ServiceQueueInputTransition-serverInstance-0" source="ServiceQueueCapacityPlace-serverInstance-0" target="ServiceQueueInputTransition-serverInstance-0">
</arc>
<arc id="arc-ClientToServicePlace-serverInstance-0-clientCount-0-ServiceClientConnectorTransition-serverInstance-0-clientCount-0" source="ClientToServicePlace-serverInstance-0-clientCount-0" target="ServiceClientConnectorTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueOutputPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueOutputPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
</arc>
<arc id="arc-ServiceQueueInputPlace-serverInstance-0-ServiceQueueInputTransition-serverInstance-0" source="ServiceQueueInputPlace-serverInstance-0" target="ServiceQueueInputTransition-serverInstance-0">
</arc>
<arc id="channel-client-output-arcserverInstance-0-clientCount-0" source="ServiceClientOutputTransition-serverInstance-0-clientCount-0" target="resp-place">
</arc>
</page>
<name>
<text>service-test</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<communicators>
<communicator>
<cType>serviceClient</cType>
<cSubnet>locA</cSubnet>
</communicator>
<communicator>
<cType>serviceServer</cType>
<cSubnet>locB</cSubnet>
</communicator>
</communicators>
</toolspecific>
</net>
</pnml>
temp/pnml/bd584e8d-a5b9-4291-8a12-69e7ca16358bflatted-97cb86a6-8799-4387-95a7-229493030179.pnml deleted 100644 → 0
+ 0
− 330
View file @ cbba4620
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="n-E2D0-BCF46-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
<page id="top">
<place id="ServiceTogglePlace-serverInstance-0-clientCount-0">
<name>
<text>ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>1</text>
</initialMarking>
</place>
<place id="ClientToServicePlace-serverInstance-0-clientCount-0">
<name>
<text>ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="InputToOutputServicePlace-serverInstance-0-clientCount-0">
<name>
<text>InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="resp-place">
<name>
<text>resp-place</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="channelBackInPlace-0-0">
<name>
<text>channelBackInPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc3</location>
<subnet>locB</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueCapacityPlace-serverInstance-0">
<name>
<text>ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>16</text>
</initialMarking>
</place>
<place id="outRefPlace-0-0">
<name>
<text>outRefPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc3</location>
<subnet>locB</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="channelInPlace">
<name>
<text>channelInPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceOutputPlace-serverInstance-0-clientCount-0">
<name>
<text>ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueOutputPlace-serverInstance-0">
<name>
<text>ServiceQueueOutputPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="ServiceQueueInputPlace-serverInstance-0">
<name>
<text>ServiceQueueInputPlace-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discretePlaceType</type>
<outputsignalbindings>
</outputsignalbindings>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<transition id="ServiceClientConnectorTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceQueueInputTransition-serverInstance-0">
<name>
<text>ServiceQueueInputTransition-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceQueueOverflowTransition-serverInstance-0">
<name>
<text>ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceServerInputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceClientInputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceClientOutputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<transition id="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
<name>
<text>ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>none</location>
<subnet>none</subnet>
<type>discreteTransitionType</type>
<inputsignalbindings>
</inputsignalbindings>
<inputsignalclause/>
</toolspecific>
</transition>
<arc id="server-to-queue-arcserverInstance-0-clientCount-0" source="ServiceServerOutputTransition-serverInstance-0-clientCount-0" target="ServiceQueueCapacityPlace-serverInstance-0">
</arc>
<arc id="channel-client-input-arcserverInstance-0-clientCount-0" source="channelInPlace" target="ServiceClientInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="queue-to-server-arcserverInstance-0-clientCount-0" source="ServiceQueueOutputPlace-serverInstance-0" target="ServiceServerInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="channel-server-queue-input-arcserverInstance-0-clientCount-0" source="ServiceClientConnectorTransition-serverInstance-0-clientCount-0" target="ServiceQueueInputPlace-serverInstance-0">
</arc>
<arc id="arc-ServiceClientInputTransition-serverInstance-0-clientCount-0-ClientToServicePlace-serverInstance-0-clientCount-0" source="ServiceClientInputTransition-serverInstance-0-clientCount-0" target="ClientToServicePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceClientOutputTransition-serverInstance-0-clientCount-0-ServiceTogglePlace-serverInstance-0-clientCount-0" source="ServiceClientOutputTransition-serverInstance-0-clientCount-0" target="ServiceTogglePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueCapacityPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueCapacityPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<type>inhibitor</type>
</toolspecific>
</arc>
<arc id="arc-ServiceOutputPlace-serverInstance-0-clientCount-0-ServiceClientOutputTransition-serverInstance-0-clientCount-0" source="ServiceOutputPlace-serverInstance-0-clientCount-0" target="ServiceClientOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-InputToOutputServicePlace-serverInstance-0-clientCount-0-ServiceServerOutputTransition-serverInstance-0-clientCount-0" source="InputToOutputServicePlace-serverInstance-0-clientCount-0" target="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="channel-server-input-arcserverInstance-0-clientCount-0" source="ServiceServerInputTransition-serverInstance-0-clientCount-0" target="outRefPlace-0-0">
</arc>
<arc id="arc-ServiceServerInputTransition-serverInstance-0-clientCount-0-InputToOutputServicePlace-serverInstance-0-clientCount-0" source="ServiceServerInputTransition-serverInstance-0-clientCount-0" target="InputToOutputServicePlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueInputTransition-serverInstance-0-ServiceQueueOutputPlace-serverInstance-0" source="ServiceQueueInputTransition-serverInstance-0" target="ServiceQueueOutputPlace-serverInstance-0">
</arc>
<arc id="arc-ServiceQueueInputPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueInputPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
</arc>
<arc id="channel-server-output-arcserverInstance-0-clientCount-0" source="channelBackInPlace-0-0" target="ServiceServerOutputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceServerOutputTransition-serverInstance-0-clientCount-0-ServiceOutputPlace-serverInstance-0-clientCount-0" source="ServiceServerOutputTransition-serverInstance-0-clientCount-0" target="ServiceOutputPlace-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceTogglePlace-serverInstance-0-clientCount-0-ServiceClientInputTransition-serverInstance-0-clientCount-0" source="ServiceTogglePlace-serverInstance-0-clientCount-0" target="ServiceClientInputTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueCapacityPlace-serverInstance-0-ServiceQueueInputTransition-serverInstance-0" source="ServiceQueueCapacityPlace-serverInstance-0" target="ServiceQueueInputTransition-serverInstance-0">
</arc>
<arc id="arc-ClientToServicePlace-serverInstance-0-clientCount-0-ServiceClientConnectorTransition-serverInstance-0-clientCount-0" source="ClientToServicePlace-serverInstance-0-clientCount-0" target="ServiceClientConnectorTransition-serverInstance-0-clientCount-0">
</arc>
<arc id="arc-ServiceQueueOutputPlace-serverInstance-0-ServiceQueueOverflowTransition-serverInstance-0" source="ServiceQueueOutputPlace-serverInstance-0" target="ServiceQueueOverflowTransition-serverInstance-0">
</arc>
<arc id="arc-ServiceQueueInputPlace-serverInstance-0-ServiceQueueInputTransition-serverInstance-0" source="ServiceQueueInputPlace-serverInstance-0" target="ServiceQueueInputTransition-serverInstance-0">
</arc>
<arc id="channel-client-output-arcserverInstance-0-clientCount-0" source="ServiceClientOutputTransition-serverInstance-0-clientCount-0" target="resp-place">
</arc>
</page>
<name>
<text>service-test</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<communicators>
<communicator>
<cType>serviceClient</cType>
<cSubnet>locA</cSubnet>
</communicator>
<communicator>
<cType>serviceServer</cType>
<cSubnet>locB</cSubnet>
</communicator>
</communicators>
</toolspecific>
</net>
</pnml>
temp/tina/tina-result-97cb86a6-8799-4387-95a7-229493030179.txt deleted 100644 → 0
+ 0
− 68
View file @ cbba4620
Tina version 3.7.0 -- 01/11/22 -- LAAS/CNRS
mode -R
INPUT NET -------------------------------------------------------
parsed net {service-test}
11 places, 7 transitions, 21 arcs
net {service-test}
tr {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceQueueInputPlace-serverInstance-0-serverInstance-0}
tr {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelInPlace -> {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
tr {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {resp-place}
tr {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} -> {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0}
tr {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} ->
tr {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} -> {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} outRefPlace
tr {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelBackInPlace -> {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}
pl {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} (16)
pl {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} (1)
0.000s
REACHABILITY ANALYSIS -------------------------------------------
bounded
1 marking(s), 0 transition(s)
MARKINGS:
0 : {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}*16 {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
REACHABILITY GRAPH:
0 ->
0.000s
LIVENESS ANALYSIS -----------------------------------------------
not live
reversible
1 dead marking(s), 1 live marking(s)
7 dead transition(s), 0 live transition(s)
dead marking(s): 0
dead transition(s): {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
STRONG CONNECTED COMPONENTS:
0 : 0
SCC GRAPH:
0 ->
0.000s
ANALYSIS COMPLETED ----------------------------------------------
# net {service-test}, 11 places, 7 transitions, 21 arcs #
# bounded, not live, reversible #
# abstraction count props psets dead live #
# states 1 11 ? 1 1 #
# transitions 0 7 ? 7 0 #
temp/tina/tina-result-e8db0bbb-f09b-48e6-80d6-7971b211ec5a.txt deleted 100644 → 0
+ 0
− 68
View file @ cbba4620
Tina version 3.7.0 -- 01/11/22 -- LAAS/CNRS
mode -R
INPUT NET -------------------------------------------------------
parsed net {service-test}
11 places, 7 transitions, 21 arcs
net {service-test}
tr {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceQueueInputPlace-serverInstance-0-serverInstance-0}
tr {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelInPlace -> {ClientToServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
tr {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} -> {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {resp-place}
tr {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} -> {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0}
tr {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} {ServiceQueueInputPlace-serverInstance-0-serverInstance-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} ->
tr {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOutputPlace-serverInstance-0-serverInstance-0} -> {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} outRefPlace
tr {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {InputToOutputServicePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} channelBackInPlace -> {ServiceOutputPlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}
pl {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0} (16)
pl {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} (1)
0.000s
REACHABILITY ANALYSIS -------------------------------------------
bounded
1 marking(s), 0 transition(s)
MARKINGS:
0 : {ServiceQueueCapacityPlace-serverInstance-0-serverInstance-0}*16 {ServiceTogglePlace-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
REACHABILITY GRAPH:
0 ->
0.000s
LIVENESS ANALYSIS -----------------------------------------------
not live
reversible
1 dead marking(s), 1 live marking(s)
7 dead transition(s), 0 live transition(s)
dead marking(s): 0
dead transition(s): {ServiceServerOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceServerInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceQueueOverflowTransition-serverInstance-0-serverInstance-0} {ServiceQueueInputTransition-serverInstance-0-serverInstance-0} {ServiceClientOutputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceClientInputTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0} {ServiceClientConnectorTransition-serverInstance-0-clientCount-0-serverInstance-0-clientCount-0}
STRONG CONNECTED COMPONENTS:
0 : 0
SCC GRAPH:
0 ->
0.000s
ANALYSIS COMPLETED ----------------------------------------------
# net {service-test}, 11 places, 7 transitions, 21 arcs #
# bounded, not live, reversible #
# abstraction count props psets dead live #
# states 1 11 ? 1 1 #
# transitions 0 7 ? 7 0 #
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment