Some questions about the project

[xiaoyuwang0]

Hello，
I would like to know if it is possible to create a multi-threaded Petri with locks using this tool.
or
Can I add these functions myself?

[vldtecno]

Hi @xiaoyuwang0 , I am currently working on this feature. I hope to have it ready by the end of this month beginning of the next.
What do you mean exactly with a multi-threaded Petri net? Do you mean the net running in a separate thread listening for events? If yes, then this is what I am working on, if not I would be curious to know :)

[xiaoyuwang0]

I want to use events from multi-threaded programs to build a petri net to solve some thread problems such as deadlock detection

[vldtecno]

Hi @xiaoyuwang0 sorry for the delay, unfortunately my time was not so much to work on this project. Could you please check my latest commit and let me know if it solved your issue?

[xiaoyuwang0]

@vldtecno
I am working on this with a tool called SVF
Thanks for your help