Dear developers.
I am using your tool Pipe v.2. Very good tool, thanks.
But I have some problems. Your tool cannot work with
multiple arcs. It means, that I can draw Petri nets
with multiple arcs, but incident matrix and modeling
incorrect.
Can you provide any more information about what is wrong? I've used mulitple arcs with no problem. I have loaded the file you provided, and see no problem with the incidence matrix. I've attached the result from running the "Incidence & Marking" analysis.
What result do you get that is different?
Dave Patterson
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
perhaps, i am don't undrestand something. It is strange, but when I download attached file (Error_net.xml) from server he havent't got any multiple arcs and so incidence matrix is correct.
So I'll try to write about wrong net:
We have one transition and three position;
TWO arcs from position 0 to transition 0;
TWO arcs from transition 0 to position 1;
ONE arc from transition 0 to position 2;
Start marking P0 - 1 token; P1 - 0 token; p2 - 0 token;
In this net transition must be disabled, but it enabled and remove one token from position 0 and put one token to position 1 and 1 token to position 2, it is incorrect two.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I think this is a permanent restriction. Although you can draw a net with what I would call parallel arcs (same origin, same target) and they can be specified with different weights, the code seems to use the last one it sees as the only valid one for creating the incidence matrices. Why do you have multiple arcs from a place to the same transition? Since your explaination does not mention weights on the arcs, is this a feature you could use to obtain your goal?
Select an arc, right-mouse click on it and you get an option to specify the weight -- how many tokens move on the arc.
On arcs from a place to a transition, the weight indicates how many tokens have to be present in the place before the transition can be enabled from that arc. (In order to be enabled, a transition must be enabled on all arcs.) For arcs that lead from transitions to places, the weight indicates how many tokens will be added to the place when the transition fires.
Dave Patterson
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I think this is a permanent restriction. Although you can draw a net with what I would call parallel arcs (same origin, same target) and they can be specified with different weights, the code seems to use the last one it sees as the only valid one for creating the incidence matrices. Why do you have multiple arcs from a place to the same transition? Since your explaination does not mention weights on the arcs, is this a feature you could use to obtain your goal?
Select an arc, right-mouse click on it and you get an option to specify the weight -- how many tokens move on the arc.
On arcs from a place to a transition, the weight indicates how many tokens have to be present in the place before the transition can be enabled from that arc. (In order to be enabled, a transition must be enabled on all arcs.) For arcs that lead from transitions to places, the weight indicates how many tokens will be added to the place when the transition fires.
Dave Patterson
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Example Petri net with multiple arcs
Logged In: YES
user_id=1609637
Originator: NO
Can you provide any more information about what is wrong? I've used mulitple arcs with no problem. I have loaded the file you provided, and see no problem with the incidence matrix. I've attached the result from running the "Incidence & Marking" analysis.
What result do you get that is different?
Dave Patterson
Incidence & Marking report
Logged In: YES
user_id=1640693
Originator: YES
Dear developers.
perhaps, i am don't undrestand something. It is strange, but when I download attached file (Error_net.xml) from server he havent't got any multiple arcs and so incidence matrix is correct.
So I'll try to write about wrong net:
We have one transition and three position;
TWO arcs from position 0 to transition 0;
TWO arcs from transition 0 to position 1;
ONE arc from transition 0 to position 2;
Start marking P0 - 1 token; P1 - 0 token; p2 - 0 token;
In this net transition must be disabled, but it enabled and remove one token from position 0 and put one token to position 1 and 1 token to position 2, it is incorrect two.
Logged In: YES
user_id=1609637
Originator: NO
I think this is a permanent restriction. Although you can draw a net with what I would call parallel arcs (same origin, same target) and they can be specified with different weights, the code seems to use the last one it sees as the only valid one for creating the incidence matrices. Why do you have multiple arcs from a place to the same transition? Since your explaination does not mention weights on the arcs, is this a feature you could use to obtain your goal?
Select an arc, right-mouse click on it and you get an option to specify the weight -- how many tokens move on the arc.
On arcs from a place to a transition, the weight indicates how many tokens have to be present in the place before the transition can be enabled from that arc. (In order to be enabled, a transition must be enabled on all arcs.) For arcs that lead from transitions to places, the weight indicates how many tokens will be added to the place when the transition fires.
Dave Patterson
Logged In: YES
user_id=1609637
Originator: NO
I think this is a permanent restriction. Although you can draw a net with what I would call parallel arcs (same origin, same target) and they can be specified with different weights, the code seems to use the last one it sees as the only valid one for creating the incidence matrices. Why do you have multiple arcs from a place to the same transition? Since your explaination does not mention weights on the arcs, is this a feature you could use to obtain your goal?
Select an arc, right-mouse click on it and you get an option to specify the weight -- how many tokens move on the arc.
On arcs from a place to a transition, the weight indicates how many tokens have to be present in the place before the transition can be enabled from that arc. (In order to be enabled, a transition must be enabled on all arcs.) For arcs that lead from transitions to places, the weight indicates how many tokens will be added to the place when the transition fires.
Dave Patterson