[henshin-dev] AND-split transition

["Amalia Sanusi" <a.m.sanusi@xxxxxxxxxxxxxx>]

Hello,

 

I’m trying to create a rule for PetriNet’s AND-split firing transition. Please see the attachment for the example. Basically, when the AND-split transition fires, it “moves” the token from the initial place to the other 3 post-places. How can I achieve that iteration in Henshin? I’ve tried using the counted rule, but it can always fire other transitions before it finishes with the AND-split.

 

Any help is appreciated. Thank you.

 

---

Kind regards,

 

Amalia Sanusi

 

Attachment: petri.jpg
Description: JPEG image