i have a question, how do i create a OR-Split on transaction level?
Somehow a transaction followed by 2 places is always a AND-split. How can i change this?
I'm not sure I understand what you're requesting.
Do you want to have a transition that do not distribute tokens for all the places it links to?
By default, i believe, that the transaction is set to
I will try to give an example.
I got tokens that have to be sorted in 2 groups, Positive
Place (2) and (3) are standing for the postive sort and
[T] transition that sorts them, so resulting i an "or" split.
Maybe i am doing something wrong.. Or maybe this is a
feature not available yet.
Ok, I understand now.
Actually, you can't do that with (classical) Petri nets (aka P-T nets).
The formal definition of P-T nets requires that all the places receive the amount of tokens indicated by the arc weight.
The only way I can think of solving your problem would be to use two different transitions: one that is enabled only by "negative" tokens and one enabled only by "positive" tokens.
However, since in P-T nets, tokens don't have any information attached to them, this solution won't work in Jarp.
To separate tokens based on some additional information attached to them (in your case, their "sign"), you'll need High-Level Petri nets, such as Predicate/Transition nets (aka Pr-T nets) or Coloured Petri nets (aka CP-nets).
In High-Level Petri nets you can attach additional information to your tokens (the "sign", for example) and define "predicates" or "guardians" to each transition, that truly decide when the transition is active.
Unfortunately, I don't have the resources to implement a High-Level Petri net model for Jarp, so I advise you to look for a High-Level Petri net editor on the web.
A good place to start is http://www.daimi.au.dk/PetriNets/
Hmm.. well ok thanx..
I tried a couple of the tools provided here on sourceforge but none seem to support this. (atleast the ones i tried)..
Thanx for your info and i am currently checking out the site you gave.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.