| Re: [henshin-user] Nested application conditions in Henshin diagrams? |
hi,
I’m trying to figure out how to do nested application conditions in the Henshin diagram editor. I was hoping that this could be done the same way that I can nest multi-rules, using paths in the labels. However, that doesn’t seem to do anything useful. Is there a different way of doing this?Specifically, I’m trying to write a standard Petri Net firing rule. For this, I would like to add a NAC that there are no source places with no tokens. So, roughly,¬\exists({Transition—Place} à ¬\exists{Transition—Place—Token})I’ve tried using a require* instead, as below, but that rule never matches, even when all source places have a token…Any suggestions?
i think it is not possible with the graphical editor, so either use the tree (which i did for these use case, see attachement) or the textual editor.
Cheers, Matthias -- Prof. Dr. Matthias Tichy Institute of Software Engineering and Programming Languages Faculty of Engineering, Computer Science and Psychology Ulm University 89069 Ulm, Germany Tel.: +49 731 50-24160 Fax: +49 731 50-24162 email: matthias.tichy@xxxxxxxxxx
Attachment:
petrinet.zip
Description: Zip archive
Attachment:
simulation.zip
Description: Zip archive
Attachment:
smime.p7s
Description: S/MIME Cryptographic Signature