I want the petri Nets model for Pregmatic General multicast Protocol

Asked by Prachi Gupta on 2013-04-25

I want the Petri Nets model for Pregmatic General multicast. Iwant to know how will I assign weights n inputs on the edges?

Question information

Language:
English Edit question
Status:
Answered
For:
TAPAAL Edit question
Assignee:
No assignee Edit question
Last query:
2014-04-23
Last reply:
2014-04-24
Prachi Gupta (prachigupta043) said : #1

yes plz help me for this

On Thu, Apr 25, 2013 at 10:06 PM, Prachi Gupta <
<email address hidden>> wrote:

> New question #227457 on TAPAAL:
> https://answers.launchpad.net/tapaal/+question/227457
>
> I want the Petri Nets model for Pregmatic General multicast. Iwant to know
> how will I assign weights n inputs on the edges?
>
> --
> You received this question notification because you asked the question.
>

Jiri Srba (srba) said : #2

Thanks for your question. I am not completely sure what you mean by Pregmatic General Multicast but assigning
weights to arcs is easy. Double-click the arc you want to change and a dialog will open. At the bottom you can now
change the weight of the arc (default weight is 1). Hope it helps.

Prachi Gupta (prachigupta043) said : #3

i want to know that how did i recognize that on which arc what wait I
assigned?

On Thu, Apr 25, 2013 at 10:31 PM, Jiri Srba <
<email address hidden>> wrote:

> Your question #227457 on TAPAAL changed:
> https://answers.launchpad.net/tapaal/+question/227457
>
> Status: Open => Answered
>
> Jiri Srba proposed the following answer:
> Thanks for your question. I am not completely sure what you mean by
> Pregmatic General Multicast but assigning
> weights to arcs is easy. Double-click the arc you want to change and a
> dialog will open. At the bottom you can now
> change the weight of the arc (default weight is 1). Hope it helps.
>
> --
> If this answers your question, please go to the following page to let us
> know that it is solved:
> https://answers.launchpad.net/tapaal/+question/227457/+confirm?answer_id=1
>
> If you still need help, you can reply to this email or go to the
> following page to enter your feedback:
> https://answers.launchpad.net/tapaal/+question/227457
>
> You received this question notification because you asked the question.
>

Prachi Gupta (prachigupta043) said : #4

I am sending you the model which i prepare plz help me to assign wait on
them i know the process but don't know on which arc what the wait will
assign, along with the pdf of PGM protocol in this we have the timed model
of PGM protocol with the help of this pdf i made these models. Plz help me

On Thu, Apr 25, 2013 at 10:35 PM, prachi gupta <email address hidden>wrote:

> i want to know that how did i recognize that on which arc what wait I
> assigned?
>
>
> On Thu, Apr 25, 2013 at 10:31 PM, Jiri Srba <
> <email address hidden>> wrote:
>
>> Your question #227457 on TAPAAL changed:
>> https://answers.launchpad.net/tapaal/+question/227457
>>
>> Status: Open => Answered
>>
>> Jiri Srba proposed the following answer:
>> Thanks for your question. I am not completely sure what you mean by
>> Pregmatic General Multicast but assigning
>> weights to arcs is easy. Double-click the arc you want to change and a
>> dialog will open. At the bottom you can now
>> change the weight of the arc (default weight is 1). Hope it helps.
>>
>> --
>> If this answers your question, please go to the following page to let us
>> know that it is solved:
>> https://answers.launchpad.net/tapaal/+question/227457/+confirm?answer_id=1
>>
>> If you still need help, you can reply to this email or go to the
>> following page to enter your feedback:
>> https://answers.launchpad.net/tapaal/+question/227457
>>
>> You received this question notification because you asked the question.
>>
>
>

Jiri Srba (srba) said : #5

Yes, where is the model, please? I will take a look.

Prachi Gupta (prachigupta043) said : #6

i sent you files you can open that files in tupaal

On Thu, Apr 25, 2013 at 11:16 PM, Jiri Srba <
<email address hidden>> wrote:

> Your question #227457 on TAPAAL changed:
> https://answers.launchpad.net/tapaal/+question/227457
>
> Jiri Srba posted a new comment:
> Yes, where is the model, please? I will take a look.
>
> --
> You received this question notification because you asked the question.
>

Launchpad Janitor (janitor) said : #7

This question was expired because it remained in the 'Open' state without activity for the last 15 days.

Prachi Gupta (prachigupta043) said : #8

LinkedIn
------------

I'd like to add you to my professional network on LinkedIn.

- Prachi

Prachi Gupta
IT Consultant at Corbus, LLC
India

Confirm that you know Prachi Gupta:
https://www.linkedin.com/e/-kr0yed-hud7nhdp-1z/isd/5864866639282987008/IMKbZJdq/?hs=false&tok=1g7u4OHNaSCCc1

--
You are receiving Invitation to Connect emails. Click to unsubscribe:
http://www.linkedin.com/e/-kr0yed-hud7nhdp-1z/vZrl4P4OZmE5eGwJhXqwzg4dXoy6gQdt2ZIXqgRfNhSSeqwKhmNDbv/goo/question227457%40answers%2Elaunchpad%2Enet/20061/I6945705174_1/?hs=false&tok=37NGEAxfWSCCc1

(c) 2012 LinkedIn Corporation. 2029 Stierlin Ct, Mountain View, CA 94043, USA.

Jiri Srba (srba) said : #9

For inviting people to LinkedIn, please, send an invitation to personal email address, not
to the help forum. Thanks.

Best wishes,
Jiri

Can you help with this problem?

Provide an answer of your own, or ask Prachi Gupta for more information if necessary.

To post a message you must log in.