Trace Generation issue when adding priority to process

32 views
Skip to first unread message

Sailesh Sai Teja

unread,
Sep 30, 2024, 6:39:16 AM9/30/24
to UPPAAL
Hello there,

I am trying to have an priority for few process compared to others (In my case I want checkers to always run first). But when I fix the priority I am unable to generate the trace. It's throwing an exception for concurrent execution. May I know what exactly is the issue as I am unable to pinpoint it.

Attached the XML for reference.
new_sync_template_data.xml
Reply all
Reply to author
Forward
0 new messages