Arcs should have weight

[Nick Andrik]

I created a petrinet in the tool and I would create an arc with a weight of 2.
There is no property on the arc to change its weight.
Even if I put two arcs from a place to a transition (which IMO the tool should prohibit) the transition consumes just one token.

[Ivan Poliakov (mech)]

This depends on your definition of a Petri net. I realise that the classical definition does indeed define arcs as weighted, but most of the tools (which are related to digital circuit synthesis/verification) that we currently use as back-ends to Workcraft do not understand weighted arcs. Therefore, it probably makes sense to have introduce a separate model ("Petri net with weighted arcs") for this purpose.

[Nick Andrik (andrikos)]

In the underlying model you may put the same arc multiple times (the weight in an integer anyway).

From the linear algebra point of view, each state is the number of tokens in each place. A transtion is a vector added in this state, which can have numbers higher than 1 (and lower than -1 for the tokens consumed), no?

I don't know which is the best way to do it in your tool, but thanks for it anyway :-D

[Arseniy Alekseyev (rotsor)]

Extracted the "bug" part of this to a separate bug: https://bugs.launchpad.net/workcraft/+bug/607040
This one is more of a feature request.